mirror of
https://github.com/mpv-player/mpv
synced 2025-01-18 04:51:52 +00:00
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
This commit is contained in:
parent
7454f57944
commit
3fb1bc734e
2
DOCS/xml/configure
vendored
2
DOCS/xml/configure
vendored
@ -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 \
|
||||
|
Loading…
Reference in New Issue
Block a user