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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
