[MPlayer-DOCS] [PATCH] make configure and generated main.xml's more "spec-valid"
Bircoph at list.ru
Thu Jan 4 10:40:45 CET 2007
On 4 Jan 2007 12:13 Torinthiel wrote:
> According to the W3C XML specification, and to the DocBook guide
> at http://www.docbook.org/tdg/en/html/docbook.html , the system
> identifier of the DTD should be URI. Now the XML spec shows
> simple "hello.dtd" as example, so this is quite valid, but the
> DocBook suggests file://path URIs which are correct local file
> URIs. The attached patch makes configure use file:// when
> appropriate, and also fall back to internet-available DTD if no
> local was found, which didn't cause problem on my box (except
> for a bit slower testing) and is IMHO better than hard-coding
> already tested and non-existent path.
And what if I have no access to internet at compile time or if I
don't want to waste my traffic?
Imho it is bad idea to access internet for compilation purposes
without expilcit user permission to do this. Programs shouldn't
surf the internet on their own. This can be optional but _not_
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 191 bytes
Desc: not available
More information about the MPlayer-DOCS