diff options
Diffstat (limited to 'docs/ext-core/Makefile')
| -rw-r--r-- | docs/ext-core/Makefile | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile new file mode 100644 index 0000000000..8c32a7bb25 --- /dev/null +++ b/docs/ext-core/Makefile @@ -0,0 +1,42 @@ +# General makefile for Latex stuff + +dvi: core.dvi +ps: core.ps + +core.dvi: core.tex prims.tex + latex core.tex + latex core.tex + +../../compiler/prelude/primops.txt: ../../compiler/prelude/primops.txt.pp + (cd ../../compiler/prelude; gcc -E -I../../includes -traditional -x c primops.txt.pp | /bin/sed -e '/^#/d' > primops.txt) + +prims.tex: ../../compiler/prelude/primops.txt + ../../utils/genprimopcode/genprimopcode --make-latex-doc < ../../compiler/prelude/primops.txt > prims.tex + + +######## General rules +.SUFFIXES: +.PRECIOUS: %.tex %.ps %.bbl + + +%.ps: %.dvi + dvips -f < $< > $@ + +clean: + $(RM) *.aux *.log + +distclean: clean + $(RM) prims.tex *.dvi *.ps *.bbl *.blg *.gz + +maintainer-clean: distclean + +# dummy targets +all: +boot: +install: +install-docs: +html: +chm: +HxS: + +# End of file |