Bug#532289: matita fails to build in a non-networking environment.
Enrico Tassi a écrit :
> On Mon, Jun 08, 2009 at 03:51:16PM +0200, Mehdi Dogguy wrote:
>> You're right. I forget to push one line in the patch.
>> So here is the updated patch attached.
>> Using it, I was able to build matita without network (the documentation
>> was correctly built, I didn't wait for tests to finish).
>
> I see href="/usr...", shouldn't it be href="file:///usr/..." ?
>
According to [1] and [2], it's just a matter of taste.
[1] http://www.ietf.org/rfc/rfc2396.txt
[2] http://www.w3.org/TR/xslt#import
Cheers,
--
Mehdi Dogguy مهدي الدڤي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38
Reply to: