From a1590fcf627ea50e632aff079614b84e773b36ed Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 1 May 2003 10:25:38 +0000
Subject: [PATCH] [project @ 2003-05-01 10:25:38 by simonmar] Use the DocBook
 4.1 DTD instead of 3.1.  Seems to work fine...

---
 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 41ef1f8..1168c7c 100644
--- 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">
-- 
1.7.10.4