GHC new build system megapatch

[ghc-hetmet.git] / docs / ext-core / Makefile

diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile
index 10f3183..8d97588 100644 (file)
--- a/docs/ext-core/Makefile
+++ b/docs/ext-core/Makefile
@@ -1,41 +1,60 @@
+TOP = ../..
+include $(TOP)/mk/boilerplate.mk
+
+ifeq "$(LATEX_DOCS)" "YES"
+all: pdf
+
+install-docs:
+       -mkdir      $(docdir)/ext-core
+       cp core.pdf $(docdir)/ext-core/
+else
+all:
+install-docs:
+endif
+
 #      General makefile for Latex stuff
 
 LATEX=latex \\nonstopmode \\input
+PDFLATEX=pdflatex
 BIBTEX=bibtex
 
 dvi: core.dvi
-ps: core.ps
+ps: core.ps core.ps.gz
+pdf: core.pdf
 
-core.dvi:      core.tex
-               -$(LATEX) core.tex
-               $(BIBTEX) core
-               -$(LATEX) core.tex
-               -$(LATEX) core.tex
+core.pdf: core.tex
+       $(PDFLATEX) core.tex
+       $(BIBTEX) core
+       $(PDFLATEX) core.tex
+       $(PDFLATEX) 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
 
-binary-dist:
-       @:
+include $(TOP)/mk/bindist.mk
 
 # dummy targets
-all:
 boot:
 install:
-install-docs:
 html:
 chm:
 HxS: