Bug#532289: matita fails to build in a non-networking environment.

[Andrea Gasparini <gaspa@yattaweb.it>]

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 -