X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fstorage-mgt%2FMakefile;h=7eec62b9e0817484b7c1bd66edd745a1ef942acc;hb=748c8c8d55001e0e5bfb19230265fcc07755ba72;hp=9dc1c01d7ca7b4c050a3b46ae0da2a1243f31ea4;hpb=c1c1e720a1e42df940c932f789f74bd5bcff4882;p=ghc-hetmet.git

diff --git a/ghc/docs/storage-mgt/Makefile b/ghc/docs/storage-mgt/Makefile
index 9dc1c01..7eec62b 100644
--- a/ghc/docs/storage-mgt/Makefile
+++ b/ghc/docs/storage-mgt/Makefile
@@ -2,7 +2,6 @@
 
 dvi: sm.dvi rp.dvi ldv.dvi
 ps: sm.ps rp.ps ldv.ps
-html:
 
 ######## General rules
 .SUFFIXES:
@@ -26,4 +25,11 @@ distclean: clean
 
 maintainer-clean: distclean
 
+# dummy targets
+all:
+boot:
+install:
+install-docs:
+html:
+
 # End of file