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

Reply via email to