diff options
Diffstat (limited to 'ReleaseNotes/Makefile')
| -rw-r--r-- | ReleaseNotes/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ReleaseNotes/Makefile b/ReleaseNotes/Makefile index bba376022..0e5f477bd 100644 --- a/ReleaseNotes/Makefile +++ b/ReleaseNotes/Makefile @@ -31,7 +31,7 @@ $(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) \ + $(ASCIIDOC) -a themedir=$(PWD) -a theme=$(THEME) -a stylesdir=$(PWD) \ -o $@ $< || cp $(<:%.txt=%.html.git) $@ # Alternatively:: |