From de4125776d89df95684ba7d58b072df8d8f19af5 Mon Sep 17 00:00:00 2001
From: rrt <unknown>
Date: Tue, 23 Oct 2001 14:46:25 +0000
Subject: [PATCH] [project @ 2001-10-23 14:46:25 by rrt] Use the new
 doc-building/installing infrastructure.

---
 docs/building/Makefile            |    1 +
 docs/docbook-cheat-sheet/Makefile |    1 +
 docs/ffi-art/Makefile             |    1 +
 ghc/docs/set/Makefile             |    7 ++-----
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/docs/building/Makefile b/docs/building/Makefile
index fcd9f1a..d9400da 100644
--- a/docs/building/Makefile
+++ b/docs/building/Makefile
@@ -2,5 +2,6 @@ TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
 SGML_DOC = building
+INSTALL_SGML_DOC = building
 
 include $(TOP)/mk/target.mk
diff --git a/docs/docbook-cheat-sheet/Makefile b/docs/docbook-cheat-sheet/Makefile
index 8f4dc29..16420de 100644
--- a/docs/docbook-cheat-sheet/Makefile
+++ b/docs/docbook-cheat-sheet/Makefile
@@ -2,5 +2,6 @@ TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
 SGML_DOC = docbook-cheat-sheet
+INSTALL_SGML_DOC = docbook-cheat-sheet
 
 include $(TOP)/mk/target.mk
diff --git a/docs/ffi-art/Makefile b/docs/ffi-art/Makefile
index e1e85dc..4775afd 100644
--- a/docs/ffi-art/Makefile
+++ b/docs/ffi-art/Makefile
@@ -2,5 +2,6 @@ TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
 SGML_DOC = ffi-art
+INSTALL_SGML_DOC = ffi-art
 
 include $(TOP)/mk/target.mk
diff --git a/ghc/docs/set/Makefile b/ghc/docs/set/Makefile
index 930b6fc..b1a5510 100644
--- a/ghc/docs/set/Makefile
+++ b/ghc/docs/set/Makefile
@@ -1,5 +1,5 @@
 #-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.2 2000/07/04 11:34:23 rrt Exp $
+# $Id: Makefile,v 1.3 2001/10/23 14:46:25 rrt Exp $
 #
 # (c) The GHC Team, 2000
 #
@@ -7,10 +7,7 @@
 TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
-ifeq "$(BIN_DIST)" "1"
-install :: html dvi
-endif
-
 SGML_DOC = set
+INSTALL_SGML_DOC = set
 
 include $(TOP)/mk/target.mk
-- 
1.7.10.4