--- /dev/null
+# General makefile for Latex stuff\r
+\r
+ps: core.ps\r
+\r
+core.dvi: core.tex prims.tex\r
+ latex core.tex\r
+ latex core.tex\r
+\r
+prims.tex: ../../compiler/prelude/primops.txt.pp\r
+ (cd ../../compiler/prelude; gcc -E -I../../includes -traditional -x c primops.txt.pp | /bin/sed -e '/^#/d' > primops.txt)\r
+ ../../utils/genprimopcode/genprimopcode --make-latex-doc < ../../compiler/prelude/primops.txt > prims.tex\r
+\r
+\r
+######## General rules\r
+.SUFFIXES:\r
+.PRECIOUS: %.tex %.ps %.bbl\r
+\r
+\r
+%.ps: %.dvi\r
+ dvips -f < $< > $@\r
+\r
+clean:\r
+ rm -f *.aux *.log\r
+\r
+nuke: clean\r
+ rm -f *.dvi *.ps *.bbl *.blg\r
+\r
+# End of file\r