diff options
Diffstat (limited to 'Doc/Makefile')
-rw-r--r-- | Doc/Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Doc/Makefile b/Doc/Makefile new file mode 100644 index 0000000..e2b201f --- /dev/null +++ b/Doc/Makefile @@ -0,0 +1,23 @@ + +LATEX = latex --interaction=nonstopmode +#-file-line-error-style + +default: KrancDoc.ps + +help: + @echo "Type make <file>.ps to build from latex source. Can also make <file>.pdf and <file>.html" + +clean: + rm -rf *.{dvi,ps,aux,log,pdf} + +%.dvi: %.tex + $(LATEX) $< + +%.ps: %.dvi + dvips -o $@ $< + +%.html: %.tex + latex2html -split 3 $< + +%.pdf: %.tex + pdflatex $< |