From 18755f314cde51747aa02b918913e51c191553a7 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Mon, 1 Jul 2002 12:31:21 +0000
Subject: [PATCH] [project @ 2002-07-01 12:31:21 by simonmar] "set" is no more
 - the User's Guide will be separate from the hslibs and
 libraries documentation from now on.

---
 ghc/docs/set/Makefile |   13 -------------
 ghc/docs/set/set.sgml |   19 -------------------
 2 files changed, 32 deletions(-)
 delete mode 100644 ghc/docs/set/Makefile
 delete mode 100644 ghc/docs/set/set.sgml

diff --git a/ghc/docs/set/Makefile b/ghc/docs/set/Makefile
deleted file mode 100644
index b1a5510..0000000
--- a/ghc/docs/set/Makefile
+++ /dev/null
@@ -1,13 +0,0 @@
-#-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.3 2001/10/23 14:46:25 rrt Exp $
-#
-# (c) The GHC Team, 2000
-#
-
-TOP = ../..
-include $(TOP)/mk/boilerplate.mk
-
-SGML_DOC = set
-INSTALL_SGML_DOC = set
-
-include $(TOP)/mk/target.mk
diff --git a/ghc/docs/set/set.sgml b/ghc/docs/set/set.sgml
deleted file mode 100644
index 43fd9f8..0000000
--- a/ghc/docs/set/set.sgml
+++ /dev/null
@@ -1,19 +0,0 @@
-<!DOCTYPE set PUBLIC "-//OASIS//DTD DocBook V3.1//EN" [
-<!ENTITY % ug-ent SYSTEM "../users_guide/ug-ent.sgml">
-<!ENTITY ug-book SYSTEM "../users_guide/ug-book.sgml">
-%ug-ent;
-<!ENTITY % hslibs-ent SYSTEM "../../../hslibs/doc/hslibs-ent.sgml">
-<!ENTITY hslibs-book  SYSTEM "../../../hslibs/doc/hslibs-book.sgml">
-%hslibs-ent;
-]>
-<Set>
-  
-<book id="book-users-guide">
-&ug-book;
-</book>
-
-<book id="book-hslibs">
-&hslibs-book;
-</book>
-
-</set>
-- 
1.7.10.4