Package: matita version: 0.5.7-2 severity: wishlist Matita fails to build in a non-networking environment, cause it attempts to download an .xsl file in order to generate documentation. ( reasons for failing only in i386 arch, in fact...)
I tried to build matita in my launchpad PPA, and it gives this log: http://launchpadlibrarian.net/27574114/buildlog_ubuntu-karmic- i386.matita_0.5.7-2~ppa1_FAILEDTOBUILD.txt.gz The related file is matita/help/C/xsl/matita-xhtml.xsl, in particular this line: 5 <xsl:import href="http://docbook.sourceforge.net/release/xsl/current/xhtml/chunk.xsl"/> Thanks. -- -gaspa- ----------------------------------------------- -------- https://launchpad.net/~gaspa --------- ------ HomePage: iogaspa.altervista.org ------- -Il lunedi'dell'arrampicatore: www.lunedi.org - -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
