projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[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
#
#
# (c) The GHC Team, 2000
#
@@
-7,10
+7,7
@@
TOP = ../..
include $(TOP)/mk/boilerplate.mk
TOP = ../..
include $(TOP)/mk/boilerplate.mk
-ifeq "$(BIN_DIST)" "1"
-install :: html dvi
-endif
-
SGML_DOC = set
SGML_DOC = set
+INSTALL_SGML_DOC = set
include $(TOP)/mk/target.mk
include $(TOP)/mk/target.mk