aboutsummaryrefslogtreecommitdiff
path: root/Doc/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/Makefile')
-rw-r--r--Doc/Makefile23
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 $<