> 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) I think you'd want to modify matita/help/C/xsl/matita-xhtml.xsl as well. Bye! -- -gaspa- ----------------------------------------------- -------- https://launchpad.net/~gaspa --------- ------ HomePage: iogaspa.altervista.org ------- -Il lunedi'dell'arrampicatore: www.lunedi.org -
buildlog_ubuntu-karmic-i386.matita_0.5.7-2~ppa3_FAILEDTOBUILD.txt.gz
Description: GNU Zip compressed data
