[project @ 2006-01-03 11:06:45 by simonmar]

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

diff --git a/ghc/docs/ext-core/Makefile b/ghc/docs/ext-core/Makefile
index b5814d0..8c32a7b 100644 (file)
--- a/ghc/docs/ext-core/Makefile
+++ b/ghc/docs/ext-core/Makefile
@@ -2,7 +2,6 @@
 
 dvi: core.dvi
 ps: core.ps
-html:
 
 core.dvi:      core.tex prims.tex
                latex core.tex
@@ -31,4 +30,13 @@ distclean: clean
 
 maintainer-clean: distclean
 
+# dummy targets
+all:
+boot:
+install:
+install-docs:
+html:
+chm:
+HxS:
+
 # End of file