From 100b390eee58a4ebbd2a1e3670a2d8b42dec9578 Mon Sep 17 00:00:00 2001 From: panne Date: Sun, 6 Jun 2004 11:44:37 +0000 Subject: [PATCH] [project @ 2004-06-06 11:44:37 by panne] Added empty "install" and "install-docs" targets --- ghc/docs/ext-core/Makefile | 6 ++++-- ghc/docs/storage-mgt/Makefile | 6 ++++-- 2 files changed, 8 insertions(+), 4 deletions(-) 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 diff --git a/ghc/docs/storage-mgt/Makefile b/ghc/docs/storage-mgt/Makefile index 6981a0b..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,8 +25,11 @@ distclean: clean maintainer-clean: distclean +# dummy targets all: - boot: +install: +install-docs: +html: # End of file -- 1.7.10.4