0.8.6.24:

[sbcl.git] / doc / user-manual.xml

diff --git a/doc/user-manual.xml b/doc/user-manual.xml
index 59d2ee2..fdba331 100644 (file)
--- a/doc/user-manual.xml
+++ b/doc/user-manual.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.2//EN"
-"http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd" [
+<!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.1//EN"
+"http://www.oasis-open.org/docbook/xml/4.1/docbookx.dtd" [
 <!ENTITY % myents SYSTEM "entities.inc">
 %myents;
 ]>