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

[Enrico Tassi <gareuselesinge@debian.org>]

On Mon, Jun 08, 2009 at 03:51:16PM +0200, Mehdi Dogguy wrote:
> You're right. I forget to push one line in the patch.
> So here is the updated patch attached.
> Using it, I was able to build matita without network (the documentation
> was correctly built, I didn't wait for tests to finish).

I see href="/usr...", shouldn't it be href="file:///usr/..." ?

> P.S.: Editing patches in Svn repositories is a real pain. Won't you
> consider moving matita to Git?

I'm not claiming that svn is sperior to git, but the following 3 lines 
do the job for me... which workflow makes it so annoying?

  dpatch-edit-patch foo 
  svn-buildpackage -S -us -uc
  sudo pbuilder build ../build-area/*.dsc

In any case the package will be moved to git at some point, since 
it is the new trend among ocaml maintainers.
-- 
Enrico Tassi