goba Sun Oct 21 06:05:11 2001 EDT
Modified files:
/phpdoc manual.xml.in
/phpdoc/howto howto.xml
Log:
So this is the right PUBLIC id for the current DTD we use
This is 3.1.7 and not 1.7 actually
Index: phpdoc/manual.xml.in
diff -u phpdoc/manual.xml.in:1.82 phpdoc/manual.xml.in:1.83
--- phpdoc/manual.xml.in:1.82 Sun Oct 14 09:19:12 2001
+++ phpdoc/manual.xml.in Sun Oct 21 06:05:10 2001
@@ -1,5 +1,5 @@
<?xml version='1.0' encoding='@ENCODING@' ?>
-<!DOCTYPE book PUBLIC "-//Norman Walsh//DTD DocBk XML V1.7//EN"
+<!DOCTYPE book PUBLIC "-//Norman Walsh//DTD DocBk XML V3.1.7//EN"
"@srcdir@/dbxml/docbookx.dtd" [
<!ENTITY % language-defs SYSTEM "@srcdir@/@LANGDIR@/language-defs.ent">
Index: phpdoc/howto/howto.xml
diff -u phpdoc/howto/howto.xml:1.11 phpdoc/howto/howto.xml:1.12
--- phpdoc/howto/howto.xml:1.11 Sun Sep 30 11:01:26 2001
+++ phpdoc/howto/howto.xml Sun Oct 21 06:05:10 2001
@@ -1,5 +1,5 @@
<?xml version='1.0' encoding='ISO-8859-1' ?>
-<!DOCTYPE article PUBLIC "-//Norman Walsh//DTD DocBk XML V1.7//EN"
"../dbxml/docbookx.dtd" [
+<!DOCTYPE article PUBLIC "-//Norman Walsh//DTD DocBk XML V3.1.7//EN"
+"../dbxml/docbookx.dtd" [
<!ENTITY % phpdoc-howto.entities SYSTEM "./howto.ent">
<!ENTITY % global.entities SYSTEM "../global.ent">
