This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository mathcomp.
commit 42afb787c4d9952f6af71f83794364e213f37802 Author: Nicolas Braud-Santoni <nico...@braud-santoni.eu> Date: Fri Jul 29 21:37:15 2016 +0200 debian/patches/0001: Fixup (typo in a file name) --- debian/patches/0001-Build-docs-outside-of-a-Git-worktree.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/patches/0001-Build-docs-outside-of-a-Git-worktree.patch b/debian/patches/0001-Build-docs-outside-of-a-Git-worktree.patch index 98e6c14..6d07f9e 100644 --- a/debian/patches/0001-Build-docs-outside-of-a-Git-worktree.patch +++ b/debian/patches/0001-Build-docs-outside-of-a-Git-worktree.patch @@ -38,7 +38,7 @@ index 5386dca..f300e3c 100644 - -g --utf8 -R . mathcomp \ - --parse-comments \ + $(H) cd ../mathcomp; $(COQBIN)/coqdep -R . mathcomp $(SRC) | \ -+ grep -v 'vio:' > ../htmldoc/depends ++ grep -v 'vio:' > ../htmldoc/depend + ./buildlibgraph cytoscape $(RELEASED) < depend > depend.js + $(H) cd ../mathcomp; $(COQBIN)/coqdoc \ + -t "Mathematical Components" \ -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/mathcomp.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits