[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



On Mon, Jun 08, 2009 at 02:06:25PM +0200, Mehdi Dogguy wrote:
> I assume that telling xsltproc to not use network is enough to solve
> the problem.

I seriously doubt it's enough, as the incriminated line is a
<xsl:import> of a remote stylesheet. Without net, the import can only
fail. Even if xsltproc has a fallback semantics of ignoring failed
imports (which I doubt), the transformation would be very different,
if possible at all.

Cheers.

-- 
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..|  .  |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime

Attachment: signature.asc
Description: Digital signature


Reply to: