X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fext-core%2FMakefile;h=603a6706629048ba67cfe818f8fd24ca2a88c3a6;hb=4d8c7c976104d2e39a1183967ec0f254a0fc0a47;hp=10f3183731a377f10d5854465a24f0faf09f0a36;hpb=2de31b61d0a963803eb5632c9659c6093d74f345;p=ghc-hetmet.git

diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile
index 10f3183..603a670 100644
--- a/docs/ext-core/Makefile
+++ b/docs/ext-core/Makefile
@@ -1,43 +1,3 @@
-#	General makefile for Latex stuff
-
-LATEX=latex \\nonstopmode \\input
-BIBTEX=bibtex
-
-dvi: core.dvi
-ps: core.ps
-
-core.dvi:	core.tex
-		-$(LATEX) core.tex
-	        $(BIBTEX) core
-		-$(LATEX) core.tex
-		-$(LATEX) core.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
-
-binary-dist:
-	@:
-
-# dummy targets
-all:
-boot:
-install:
-install-docs:
-html:
-chm:
-HxS:
-
-# End of file
+dir = docs/users_guide
+TOP = ../..
+include $(TOP)/mk/sub-makefile.mk