changeset 12603:3e1621c24f79

another DTD location
author wight
date Thu, 17 Jun 2004 09:02:06 +0000
parents 0d9dec871b83
children 21173b458231
files DOCS/xml/configure
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/configure	Thu Jun 17 08:43:18 2004 +0000
+++ b/DOCS/xml/configure	Thu Jun 17 09:02:06 2004 +0000
@@ -95,7 +95,7 @@
 EOF
 
 echo "Searching for DTD..."
-for _try_dtd in /usr/share/sgml/docbook/dtd/xml/4.1.2/docbookx.dtd /usr/share/docbook-xml42/docbookx.dtd /usr/share/sgml/docbook/xml-dtd-4.1.2/docbookx.dtd /usr/share/sgml/docbook/xml-dtd-4.2/docbookx.dtd /usr/share/xml/docbook/schema/dtd/4.2/docbookx.dtd
+for _try_dtd in /usr/share/sgml/docbook/dtd/xml/4.1.2/docbookx.dtd /usr/share/docbook-xml42/docbookx.dtd /usr/share/sgml/docbook/xml-dtd-4.1.2/docbookx.dtd /usr/share/sgml/docbook/xml-dtd-4.2/docbookx.dtd /usr/share/xml/docbook/schema/dtd/4.2/docbookx.dtd /usr/share/sgml/docbook/dtd/4.2/docbookx.dtd
 do
   if test -f "$_try_dtd"
   then