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

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

[project @ 2002-07-02 14:53:30 by simonmar]
Give the book an id so it gets a nice HTML filename
91a8866a · simonmar · f192102d · 91a8866a
Commit 91a8866a authored Jul 02, 2002 by simonmar
--- 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>