From de8bfe9bc337050bf5e63e853365c316735b2b06 Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Mon, 5 Aug 2013 17:22:11 +0200 Subject: Crude hack to stop the build from failing without asciidoc This could be made much more elegant. For now it serves its purpose. Signed-off-by: Dirk Hohndel --- Documentation/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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) -- cgit v1.2.3-70-g09d2