diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2013-12-09 16:12:36 +0100 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2013-12-09 16:12:36 +0100 |
| commit | 4675ab0617ed4536ad0196c7a09035b9c586dff7 (patch) | |
| tree | aa494fee084664baa7a3c02d6929ca6c20fd5129 | |
| parent | 9156bd0efb08456d6b77e7dac26161fe5dd34ed5 (diff) | |
| download | subsurface-4675ab0617ed4536ad0196c7a09035b9c586dff7.tar.gz | |
Fix possible compatibility issue with asciidoc
Apparently some version os asciidoc don't support the --theme option.
Work around this by using -a theme='theme' instead.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 1b37ce0b1..ba11e0aae 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -19,7 +19,7 @@ $(OUT)$(DOCNAME).pdf: $(DOCSOURCE) $(OUT)$(HTMLDOC): $(DOCSOURCE) @echo "if asciidoc isn't found no HTML documentation is produced but Subsurface is still functional" - $(ASCIIDOC) -a toc -a toclevels=3 -a themedir=$(PWD) --theme $(THEME) $< || true + $(ASCIIDOC) -a toc -a toclevels=3 -a themedir=$(PWD) -a theme=$(THEME) $< || true # Alternatively:: $(OUT)$(DOCNAME).xhtml: $(DOCSOURCE) |