From 4ac4f86d4f8f2500ee09ccf6fa920854864ad5c7 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 3 Jul 2002 11:07:58 +0000
Subject: [PATCH] [project @ 2002-07-03 11:07:58 by simonmar] Remove old
 BIN_DIST specific stuff

---
 ghc/docs/users_guide/Makefile |    4 ----
 1 file changed, 4 deletions(-)

diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile
index 71d4636..81b4412 100644
--- a/ghc/docs/users_guide/Makefile
+++ b/ghc/docs/users_guide/Makefile
@@ -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
 
-- 
1.7.10.4