From 91a8866a887056ece38a57bc0cbbce1d2f4dbb0f Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 2 Jul 2002 14:53:30 +0000
Subject: [PATCH] [project @ 2002-07-02 14:53:30 by simonmar] Give the book an
 id so it gets a nice HTML filename

---
 ghc/docs/users_guide/users_guide.sgml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghc/docs/users_guide/users_guide.sgml b/ghc/docs/users_guide/users_guide.sgml
index 36946ce..41ef1f8 100644
--- 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>
-- 
1.7.10.4