[PHP-DOC] cvs: phpdoc / manual.xml.in From: Hartmut Holzgraefe (hartmut <email protected>)
Date: 01/17/02

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=' <email protected>@' ?>
 <!DOCTYPE book PUBLIC " <email protected>@"
- " <email protected>@/dtds/dbxml-3.1.7/docbookx.dtd" [
+ " <email protected>@/dtds/dbxml- <email protected>@/docbookx.dtd" [
 
 <!ENTITY % language-defs SYSTEM " <email protected>@/ <email protected>@/language-defs.ent">
 <!ENTITY % language-snippets SYSTEM " <email protected>@/ <email protected>@/language-snippets.ent">