changeset 13838:cedde9834a7a

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
author rathann
date Mon, 01 Nov 2004 14:44:57 +0000
parents 3041b42a82fd
children 40391656ae23
files DOCS/xml/configure
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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