Bug#532289: matita fails to build in a non-networking environment.
Andrea Gasparini wrote:
>> Using it, I was able to build matita without network (the documentation
>> was correctly built, I didn't wait for tests to finish).
>
> Still fail for me, se the attached log.
> ( please note it's not a Debian pbuilder/chroot, I've not one ATM)
>
In your attached build-log, I don't see apt-get installing docbook-xsl!
Have you added the patch?
--
Mehdi Dogguy مهدي الدڤي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38
Reply to: