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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
