diff options
| author | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-08-04 23:58:08 +0200 |
|---|---|---|
| committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-08-04 23:58:08 +0200 |
| commit | 48b0aec2d03dc79a84b45ddb9069554ac0e01a9b (patch) | |
| tree | 6fd8e3903c80badd3329855ed9577b5b19aa787e /Doc | |
| parent | 62b0a3821fd3f9e860bc3306b43e447e427089ac (diff) | |
Doc: Make PDF the default documentation target and use htlatex instead of latex2html for HTML
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index e2b201f..81d5a8c 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -1,8 +1,9 @@ LATEX = latex --interaction=nonstopmode +PDFLATEX = pdflatex --interaction=nonstopmode #-file-line-error-style -default: KrancDoc.ps +default: KrancDoc.pdf help: @echo "Type make <file>.ps to build from latex source. Can also make <file>.pdf and <file>.html" @@ -17,7 +18,7 @@ clean: dvips -o $@ $< %.html: %.tex - latex2html -split 3 $< + htlatex $< %.pdf: %.tex - pdflatex $< + $(PDFLATEX) $< |