# HG changeset patch
# User rathann
# Date 1099320297 0
# Node ID cedde9834a7a058f1e166fa7719efdcdb771358f
# Parent  3041b42a82fdfba677f8d34da34b305deebf0003
small fix to find DocBook DTD in more exotic locations like
/usr/share/sgml/docbook/xml-dtd-4.1.2-1.0-22.1/docbookx.dtd

diff -r 3041b42a82fd -r cedde9834a7a DOCS/xml/configure
--- a/DOCS/xml/configure	Mon Nov 01 13:49:07 2004 +0000
+++ b/DOCS/xml/configure	Mon Nov 01 14:44:57 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 /usr/share/sgml/docbook/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