[project @ 2004-06-06 11:44:37 by panne]

Added empty "install" and "install-docs" targets

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

diff --git a/ghc/docs/storage-mgt/Makefile b/ghc/docs/storage-mgt/Makefile
index 6981a0b..7eec62b 100644 (file)
--- 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,8 +25,11 @@ distclean: clean
 
 maintainer-clean: distclean
 
+# dummy targets
 all:
-
 boot:
+install:
+install-docs:
+html:
 
 # End of file