This is an automated email from the git hooks/post-receive script.
eugen pushed a commit to branch master
in repository coccinelle.
commit e5de087186d74d981fca1a8dd532a2e3c4438634
Author: Eugeniy Meshcheryakov <eu...@debian.org>
Date: Tue Apr 15 19:59:49 2014 +0200
Updated patches:
* Updated patches:
- pdf-docs-build.diff
---
debian/changelog | 4 +++-
debian/patches/pdf-docs-build.diff | 16 +++++-----------
2 files changed, 8 insertions(+), 12 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index d0612b3..acd824b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,10 @@
coccinelle (1.0.0~rc21-1) unstable; urgency=medium
* New upstream RC
+ * Updated patches:
+ - pdf-docs-build.diff
- -- Євгеній Мещеряков <eu...@debian.org> Tue, 15 Apr 2014 19:54:09 +0200
+ -- Євгеній Мещеряков <eu...@debian.org> Tue, 15 Apr 2014 19:59:24 +0200
coccinelle (1.0.0~rc20.deb-3) unstable; urgency=medium
diff --git a/debian/patches/pdf-docs-build.diff
b/debian/patches/pdf-docs-build.diff
index 3506717..58a6afe 100644
--- a/debian/patches/pdf-docs-build.diff
+++ b/debian/patches/pdf-docs-build.diff
@@ -1,17 +1,11 @@
--- a/docs/manual/Makefile
+++ b/docs/manual/Makefile
-@@ -20,10 +20,12 @@
- ##############################################################################
- # Top rules
- ##############################################################################
--.PHONY: all clean distclean
-+.PHONY: all all-pdf clean distclean
+@@ -24,7 +24,7 @@
+ .PHONY: all clean distclean
.SUFFIXES: .pdf .tex
--all: manual.pdf main_grammar.pdf options.pdf
+-all: pdf html
+all:
-+
-+all-pdf: manual.pdf main_grammar.pdf options.pdf
- manual.pdf: $(SRC)
- $(PDFLATEX_CMD) manual.tex
+ pdf: $(PDF)
+
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coccinelle.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
