diff options
| author | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2007-03-11 16:50:52 +0000 |
|---|---|---|
| committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2007-03-11 16:50:52 +0000 |
| commit | 3fb1bc734e7c15515dc4cefb9ca89c40b423bace (patch) | |
| tree | 47c98bf1b4490a45e3895c5116678b9e85e4b92a /DOCS | |
| parent | 7454f57944f043869ab964dd9fa090eded009374 (diff) | |
| download | mpv-3fb1bc734e7c15515dc4cefb9ca89c40b423bace.tar.bz2 mpv-3fb1bc734e7c15515dc4cefb9ca89c40b423bace.tar.xz | |
Make sure docbook 4.x gets preferred over 3.x.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@22514 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'DOCS')
| -rwxr-xr-x | DOCS/xml/configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/DOCS/xml/configure b/DOCS/xml/configure index 99ff0a1b29..880a8a8a39 100755 --- a/DOCS/xml/configure +++ b/DOCS/xml/configure @@ -124,7 +124,9 @@ cat > html-single.xsl << EOF 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 \ |