[project @ 2002-07-03 11:07:58 by simonmar]
authorsimonmar <unknown>
Wed, 3 Jul 2002 11:07:58 +0000 (11:07 +0000)
committersimonmar <unknown>
Wed, 3 Jul 2002 11:07:58 +0000 (11:07 +0000)
Remove old BIN_DIST specific stuff

ghc/docs/users_guide/Makefile

index 71d4636..81b4412 100644 (file)
@@ -1,10 +1,6 @@
 TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
-ifeq "$(BIN_DIST)" "1"
-install :: html dvi info
-endif
-
 SGML_DOC = users_guide
 INSTALL_SGML_DOC = users_guide