diff DOCS/xml/configure @ 22496:e204544de710

Make sure docbook 4.x gets preferred over 3.x.
author diego
date Sun, 11 Mar 2007 16:50:52 +0000
parents b49bc3a14c3c
children 69e007ee01d6
line wrap: on
line diff
--- a/DOCS/xml/configure	Sun Mar 11 16:26:13 2007 +0000
+++ b/DOCS/xml/configure	Sun Mar 11 16:50:52 2007 +0000
@@ -124,7 +124,9 @@
 EOF
 
 echo "Searching for DTD..."
+#FIXME: This should prefer higher version numbers, not the other way around ..
 for _try_dtd in \
+  /usr/share/xml/docbook/*/dtd/4*/docbookx.dtd \
   /usr/share/xml/docbook/*/docbookx.dtd \
   /usr/share/sgml/docbook/*/docbookx.dtd \
   /usr/share/sgml/docbook/dtd/*/docbookx.dtd \