changeset 22496:e204544de710

Make sure docbook 4.x gets preferred over 3.x.
author diego
date Sun, 11 Mar 2007 16:50:52 +0000
parents 64175d0b25a4
children af2ea92641a8
files DOCS/xml/configure
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
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 \