cvs: phpdoc / manual.xml.in
| From: | Hartmut Holzgraefe | Date: | Thu, 17 Jan 2002 12:04:04 +0000 |
| Subject: | cvs: phpdoc / manual.xml.in | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969341349@lists.php.net to get a copy of this message | ||
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">