diff options
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 3df677723..a5f452f5c 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -31,8 +31,8 @@ $(OUT)%.pdf: %.txt $(OUT)%.html: %.txt @echo "if asciidoc isn't found the html file included in the sources is copied" - $(ASCIIDOC) -a toc -a toclevels=3 -a themedir=$(PWD) -a theme=$(THEME) -a stylesdir=$(PWD) \ - -o $@ $< || cp $(<:%.txt=%.html.git) $@ + $(ASCIIDOC) -a toc -a toclevels=3 -a themedir=$(PWD) -a theme=$(THEME) -o $@ $< || \ + cp $(<:%.txt=%.html.git) $@ # Alternatively:: $(OUT)$(DOCNAME).xhtml: $(DOCSOURCE) |