diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 5ae239006..fde250012 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -164,6 +164,12 @@ refman/html/index.html: refman/Reference-Manual.html $(REFMANPNGFILES) \ cp refman/cover.html refman/menu.html refman/html cp refman/index.html refman/html +refman-quick: + (cd refman; \ + $(PDFLATEX) Reference-Manual.tex; \ + hevea -fix -exec xxdate.exe ./Reference-Manual.tex) + + ###################################################################### # Tutorial ###################################################################### |