diff options
-rw-r--r-- | manual/Makefile | 7 | ||||
-rw-r--r-- | manual/manual.css | 4 |
2 files changed, 9 insertions, 2 deletions
diff --git a/manual/Makefile b/manual/Makefile index 53834511..5de927db 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -4,10 +4,13 @@ outputs = manual.pdf manual.html all: $(outputs) manual.pdf: Makefile $(sources) - pandoc --toc --chapters -o manual.pdf $(sources) + pandoc --smart --toc --chapters --number-sections \ + -o manual.pdf $(sources) manual.html: Makefile $(sources) - pandoc -H manual.css --toc --chapters --standalone \ + pandoc -H manual.css --smart --toc --chapters --number-sections \ + --standalone \ + --self-contained \ -o manual.html $(sources) clean: diff --git a/manual/manual.css b/manual/manual.css index 50d67459..c79f01fa 100644 --- a/manual/manual.css +++ b/manual/manual.css @@ -45,6 +45,10 @@ div.pagefooter { div#pagebody { } +div#TOC ul { + list-style: none; +} + h1, h2, h3, h4, h5, h6 { font-family: sans-serif; font-weight: bold; |