diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2013-08-05 17:22:11 +0200 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2013-08-05 17:22:11 +0200 |
| commit | de8bfe9bc337050bf5e63e853365c316735b2b06 (patch) | |
| tree | 91a41def56d54e8695cd8fa40ba14b343a603027 /Documentation | |
| parent | 7293885178de700558f7954725ef9d8965cdb17a (diff) | |
| download | subsurface-de8bfe9bc337050bf5e63e853365c316735b2b06.tar.gz | |
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 <dirk@hohndel.org>
Diffstat (limited to 'Documentation')
| -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) |