[project @ 2002-07-02 14:53:30 by simonmar]

Give the book an id so it gets a nice HTML filename

diff --git a/ghc/docs/users_guide/users_guide.sgml b/ghc/docs/users_guide/users_guide.sgml
index 36946ce..41ef1f8 100644 (file)
--- a/ghc/docs/users_guide/users_guide.sgml
+++ b/ghc/docs/users_guide/users_guide.sgml
@@ -4,6 +4,6 @@
 <!ENTITY ug-book SYSTEM "ug-book.sgml">
 ]>
   
-<Book>
+<Book id="users-guide">
 &ug-book;
 </Book>