From e0dc63cb6cdd450f86fc8f1f8d102b75285db587 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 24 May 2000 10:52:33 +0000
Subject: [PATCH] [project @ 2000-05-24 10:52:33 by simonmar] Add ids to the
 book tags.

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

diff --git a/ghc/docs/set/set.sgml b/ghc/docs/set/set.sgml
index ed7c5e1..43fd9f8 100644
--- a/ghc/docs/set/set.sgml
+++ b/ghc/docs/set/set.sgml
@@ -8,11 +8,11 @@
 ]>
 <Set>
   
-<book>
+<book id="book-users-guide">
 &ug-book;
 </book>
 
-<book>
+<book id="book-hslibs">
 &hslibs-book;
 </book>
 
-- 
1.7.10.4