[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc11.deb-1-14-ge1f61b4

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit 92f735e9e415b41575487f30064e063c1252f290
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Mon Apr 9 16:27:19 2012 +0200

    Refresh patches:
    
    * Refresh patches:
      - pdf-docs-build.diff

diff --git a/debian/changelog b/debian/changelog
index 96c8546..0772e53 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,8 +4,10 @@ coccinelle (1.0.0~rc12.deb-1) unstable; urgency=low
   * Adapt repack.sh to the new upstream RC
   * Remove patches:
     - pycaml-build-check.diff
+  * Refresh patches:
+    - pdf-docs-build.diff
 
- -- Євгеній Мещеряков <eugen at debian.org>  Mon, 09 Apr 2012 16:11:50 +0200
+ -- Євгеній Мещеряков <eugen at debian.org>  Mon, 09 Apr 2012 16:26:56 +0200
 
 coccinelle (1.0.0~rc11.deb-1) unstable; urgency=low
 
diff --git a/debian/patches/pdf-docs-build.diff b/debian/patches/pdf-docs-build.diff
index 64236bf..3506717 100644
--- a/debian/patches/pdf-docs-build.diff
+++ b/debian/patches/pdf-docs-build.diff
@@ -1,6 +1,6 @@
 --- a/docs/manual/Makefile
 +++ b/docs/manual/Makefile
-@@ -15,10 +15,12 @@
+@@ -20,10 +20,12 @@
  ##############################################################################
  # Top rules
  ##############################################################################
@@ -14,4 +14,4 @@
 +all-pdf: manual.pdf main_grammar.pdf options.pdf
  
  manual.pdf: $(SRC)
- 	pdflatex main.tex
+ 	$(PDFLATEX_CMD) manual.tex

-- 
Debian packaging for coccinelle