[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.

diff --git a/ghc/docs/set/Makefile b/ghc/docs/set/Makefile
deleted file mode 100644 (file)
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 (file)
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>