diff options
| -rw-r--r-- | Documentation/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index ac435213f..c56b3efcb 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -16,7 +16,8 @@ $(DOCNAME).pdf: $(DOCSOURCE) $(A2X) -f pdf $< $(HTMLDOC): $(DOCSOURCE) - $(ASCIIDOC) $< + @echo "if asciidoc isn't found no HTML documentation is produced but Subsurface is still functional" + $(ASCIIDOC) $< || true # Alternatively:: $(DOCNAME).xhtml: $(DOCSOURCE) |