diff options
| author |  diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2007-02-05 14:17:33 +0000 |
|---|---|---|
| committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2007-02-05 14:17:33 +0000 |
| commit | 50b3a7af5eb92edfda8d9a894e9b650e9f4f8748 (patch) | |
| tree | d0759627fbcc2b09fda52253bf9a73ba1852a192 /DOCS/xml/configure | |
| parent | 50a37296b6d57fc79523e02016dd961f4bd21391 (diff) | |
some more docbook paths, patch by Torinthiel
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@22144 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'DOCS/xml/configure')
| -rwxr-xr-x | DOCS/xml/configure | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/DOCS/xml/configure b/DOCS/xml/configure index 520afd3b11..99ff0a1b29 100755 --- a/DOCS/xml/configure +++ b/DOCS/xml/configure @@ -126,14 +126,12 @@ EOF echo "Searching for DTD..." for _try_dtd in \ /usr/share/xml/docbook/*/docbookx.dtd \ - /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/sgml/docbook/xml-dtd-4.4/docbookx.dtd \ - /usr/share/xml/docbook/schema/dtd/4.2/docbookx.dtd \ - /opt/local/share/xml/docbook-xml/4.2/docbookx.dtd \ - /usr/share/sgml/docbook/dtd/4.2/docbookx.dtd + /usr/share/sgml/docbook/*/docbookx.dtd \ + /usr/share/sgml/docbook/dtd/*/docbookx.dtd \ + /usr/share/sgml/docbook/dtd/xml/*/docbookx.dtd \ + /usr/share/docbook-xml*/docbookx.dtd \ + /opt/local/share/xml/docbook-xml/*/docbookx.dtd \ + /usr/share/apps/ksgmltools2/docbook/*/docbookx.dtd do if test -f "$_try_dtd" then |