diff options
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index cfc71a026..b519a0aa3 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -27,7 +27,7 @@ $(OUT)%.text: %.txt $(A2X) -f text $< $(OUT)%.pdf: %.txt - $(A2X) --dblatex-opts "-P latex.output.revhistory=0" -f pdf $< + -$(A2X) --dblatex-opts "-P latex.output.revhistory=0" -f pdf $< $(OUT)%.html: %.txt @echo "if asciidoc isn't found the html file included in the sources is copied" |