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 مهدي الدڤي