1 # General makefile for Latex stuff
\r
5 core.dvi: core.tex prims.tex
\r
9 ../../compiler/prelude/primops.txt: ../../compiler/prelude/primops.txt.pp
\r
10 (cd ../../compiler/prelude; gcc -E -I../../includes -traditional -x c primops.txt.pp | /bin/sed -e '/^#/d' > primops.txt)
\r
12 prims.tex: ../../compiler/prelude/primops.txt
\r
13 ../../utils/genprimopcode/genprimopcode --make-latex-doc < ../../compiler/prelude/primops.txt > prims.tex
\r
16 ######## General rules
\r
18 .PRECIOUS: %.tex %.ps %.bbl
\r
28 rm -f *.dvi *.ps *.bbl *.blg
\r