[PHP-DOC] cvs: phpdoc / manual.xml.in

[Hartmut Holzgraefe]

hholzgra                Thu Jan 17 07:04:04 2002 EDT

  Modified files:              
    /phpdoc     manual.xml.in 
  Log:
  let configure decide which docbook version should be used
  
  
Index: phpdoc/manual.xml.in
diff -u phpdoc/manual.xml.in:1.103 phpdoc/manual.xml.in:1.104
--- phpdoc/manual.xml.in:1.103  Thu Jan 17 06:16:21 2002
+++ phpdoc/manual.xml.in        Thu Jan 17 07:04:04 2002
@@ -1,6 +1,6 @@
 <?xml version='1.0' encoding='@ENCODING@' ?>
 <!DOCTYPE book PUBLIC "@DOCBOOK_DOCTYPE@"
-          "@srcdir@/dtds/dbxml-3.1.7/docbookx.dtd" [
+          "@srcdir@/dtds/dbxml-@DOCBOOK_VERSION@/docbookx.dtd" [
 
 <!ENTITY % language-defs     SYSTEM "@srcdir@/@LANGDIR@/language-defs.ent">
 <!ENTITY % language-snippets SYSTEM "@srcdir@/@LANGDIR@/language-snippets.ent">