diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-12-07 15:05:13 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-12-07 15:15:37 -0800 |
| commit | 789a7ac027b4cbede6cc300d9bdb613109caf09c (patch) | |
| tree | 34be7cdbe86578e4662b541a165988d1ca64da1c /ReleaseNotes/Makefile | |
| parent | 43fc5b6f9e5950bf834575154c3e744fcba54d5d (diff) | |
| download | subsurface-789a7ac027b4cbede6cc300d9bdb613109caf09c.tar.gz | |
Small changes to ReleaseNotes format
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
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:: |