diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/Makefile b/doc/Makefile index 311c6952..bab623dc 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -43,13 +43,13 @@ clean: rm -f *.toc guide.html: guide.tex - hevea -fix -noiso -pedantic guide.tex + hevea -fix -pedantic guide.tex dev.html: dev.tex - hevea -fix -noiso -pedantic dev.tex + hevea -fix -pedantic dev.tex features.html: features.tex - hevea -fix -noiso -pedantic features.tex + hevea -fix -pedantic features.tex guide.pdf: guide.tex pdflatex guide.tex |