From c7963c9920f7eae00e09041d1e42021bfdb897f9 Mon Sep 17 00:00:00 2001
From: rrt <unknown>
Date: Tue, 4 Jul 2000 11:34:23 +0000
Subject: [PATCH] [project @ 2000-07-04 11:34:23 by rrt] Remove info target for
 install (we can no longer make info from SGML).

---
 ghc/docs/set/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ghc/docs/set/Makefile b/ghc/docs/set/Makefile
index e5e6867754c5..930b6fcd703f 100644
--- a/ghc/docs/set/Makefile
+++ b/ghc/docs/set/Makefile
@@ -1,5 +1,5 @@
 #-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.1 2000/04/07 11:13:37 simonmar Exp $
+# $Id: Makefile,v 1.2 2000/07/04 11:34:23 rrt Exp $
 #
 # (c) The GHC Team, 2000
 #
@@ -8,7 +8,7 @@ TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
 ifeq "$(BIN_DIST)" "1"
-install :: html dvi info
+install :: html dvi
 endif
 
 SGML_DOC = set
-- 
GitLab