[project @ 2001-10-23 14:46:25 by rrt]

[ghc-hetmet.git] / ghc / docs / set / Makefile

diff --git a/ghc/docs/set/Makefile b/ghc/docs/set/Makefile
index 930b6fc..b1a5510 100644 (file)
--- 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