[project @ 2003-05-01 10:25:38 by simonmar]

Use the DocBook 4.1 DTD instead of 3.1.  Seems to work fine...

diff --git a/ghc/docs/users_guide/users_guide.sgml b/ghc/docs/users_guide/users_guide.sgml
index 41ef1f8..1168c7c 100644 (file)
--- a/ghc/docs/users_guide/users_guide.sgml
+++ b/ghc/docs/users_guide/users_guide.sgml
@@ -1,4 +1,4 @@
-<!DOCTYPE BOOK PUBLIC "-//OASIS//DTD DocBook V3.1//EN" [
+<!DOCTYPE BOOK PUBLIC "-//OASIS//DTD DocBook V4.1//EN" [
 <!ENTITY % ug-ent SYSTEM "ug-ent.sgml">
 %ug-ent;
 <!ENTITY ug-book SYSTEM "ug-book.sgml">