X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fext-core%2FMakefile;h=42c9a8f2dd0fddae67be5f46da44c6e8a3ea141d;hb=ebf8b86b087dbe219cfb16e7d71ac03132378ee6;hp=8c32a7bb25bce18c5d34cfd28a34770b05550387;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git

diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile
index 8c32a7b..42c9a8f 100644
--- a/docs/ext-core/Makefile
+++ b/docs/ext-core/Makefile
@@ -1,40 +1,61 @@
-#	General makefile for Latex stuff
+TOP = ../..
+include $(TOP)/mk/boilerplate.mk
 
-dvi: core.dvi
-ps: core.ps
+ifeq "$(LATEX_DOCS)" "YES"
+all: pdf
+
+install-docs:
+	-mkdir      $(docdir)/ext-core
+	cp core.pdf $(docdir)/ext-core/
+else
+all:
+endif
 
-core.dvi:	core.tex prims.tex
-		latex core.tex
-		latex core.tex
+#	General makefile for Latex stuff
 
-../../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)
+LATEX=latex \\nonstopmode \\input
+BIBTEX=bibtex
 
-prims.tex:	../../compiler/prelude/primops.txt
-		../../utils/genprimopcode/genprimopcode --make-latex-doc < ../../compiler/prelude/primops.txt > prims.tex
+dvi: core.dvi
+ps: core.ps core.ps.gz
+pdf: core.pdf
 
+core.dvi:	core.tex
+		-$(LATEX) core.tex
+	        $(BIBTEX) core
+		-$(LATEX) core.tex
+		-$(LATEX) core.tex
 
 ######## General rules
 .SUFFIXES:
-.PRECIOUS: %.tex %.ps %.bbl
+.PRECIOUS: %.tex %.ps %.ps.gz %.pdf %.bbl
+
 
+%.gz: %
+	gzip < $< > $@
 
 %.ps: %.dvi
 	dvips -f < $< > $@
 
+%.pdf: %.ps
+	ps2pdf $< $@
+
 clean:
 	$(RM) *.aux *.log
 
 distclean: clean
-	$(RM) prims.tex *.dvi *.ps *.bbl *.blg *.gz
+	$(RM) prims.tex *.dvi *.ps *.pdf *.bbl *.blg *.gz
 
 maintainer-clean: distclean
 
+ifeq "$(LATEX_DOCS)" "YES"
+BINDIST_EXTRAS += core.pdf
+endif
+include $(TOP)/mk/bindist.mk
+
 # dummy targets
-all:
 boot:
 install:
-install-docs:
 html:
 chm:
 HxS: