From 789a7ac027b4cbede6cc300d9bdb613109caf09c Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Thu, 7 Dec 2017 15:05:13 -0800 Subject: Small changes to ReleaseNotes format Signed-off-by: Dirk Hohndel --- ReleaseNotes/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ReleaseNotes/Makefile') 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:: -- cgit v1.2.3-70-g09d2