# HG changeset patch
# User wight
# Date 1087462926 0
# Node ID 3e1621c24f79accd941b7442fbc83a640b6e694f
# Parent  0d9dec871b8390354aaa89b297bbf3c5e8adfdcc
another DTD location

diff -r 0d9dec871b83 -r 3e1621c24f79 DOCS/xml/configure
--- 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