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

[Lucas Nussbaum <lucas@lucas-nussbaum.net>]

severity 532289 serious
thanks

On 08/06/09 at 11:56 +0200, Andrea Gasparini wrote:
> 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.

Hi,

This should actually be severity: serious. Packages must not depend on
an internet connection to build successfully.
-- 
| Lucas Nussbaum
| lucas@lucas-nussbaum.net   http://www.lucas-nussbaum.net/ |
| jabber: lucas@nussbaum.fr             GPG: 1024D/023B3F4F |