diff options
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile index 58939b9e..53834511 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -7,7 +7,8 @@ manual.pdf: Makefile $(sources) pandoc --toc --chapters -o manual.pdf $(sources) manual.html: Makefile $(sources) - pandoc --toc --chapters --standalone -o manual.html $(sources) + pandoc -H manual.css --toc --chapters --standalone \ + -o manual.html $(sources) clean: rm -f manual.pdf manual.html |