[project @ 2000-05-24 10:52:33 by simonmar]

Add ids to the book tags.

diff --git a/ghc/docs/set/set.sgml b/ghc/docs/set/set.sgml
index ed7c5e1..43fd9f8 100644 (file)
--- 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>