X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fext-core%2FMakefile;fp=ghc%2Fdocs%2Fext-core%2FMakefile;h=bd03ea6f6fce8cc2c90513eb04f042b1708462e6;hb=100b390eee58a4ebbd2a1e3670a2d8b42dec9578;hp=6828d8066aa235df799d6ca602ad39a20f911df5;hpb=bbe7d715b1e0cffc68365be3c7aee85fabb2e02a;p=ghc-hetmet.git

diff --git a/ghc/docs/ext-core/Makefile b/ghc/docs/ext-core/Makefile
index 6828d806..bd03ea6 100644
--- 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,8 +30,11 @@ distclean: clean
 
 maintainer-clean: distclean
 
+# dummy targets
 all:
-
 boot:
+install:
+install-docs:
+html:
 
 # End of file