[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20080912.dfsg-2-5-g6664a41

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 6664a4110295f4cb274632b726de25a4be0c4674
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed Feb 18 17:03:10 2009 +0100

    Update src_Makefile.dpatch

diff --git a/debian/changelog b/debian/changelog
index c676724..8d06467 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,9 @@ menhir (20090204.dfsg-1) UNRELEASED; urgency=low
 
   * New Upstream Version
   * Add dependency ${misc:Depends}, thanks zack.
+  * Update src_Makefile.dpatch
 
- -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Wed, 18 Feb 2009 16:45:36 +0100
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Wed, 18 Feb 2009 17:02:14 +0100
 
 menhir (20080912.dfsg-2) experimental; urgency=low
 
diff --git a/debian/patches/src_Makefile.dpatch b/debian/patches/src_Makefile.dpatch
index 288bc9d..aa57524 100755
--- a/debian/patches/src_Makefile.dpatch
+++ b/debian/patches/src_Makefile.dpatch
@@ -5,9 +5,9 @@
 
 @DPATCH@
 diff -urNad menhir~/src/Makefile menhir/src/Makefile
---- menhir~/src/Makefile	2009-01-19 14:24:29.000000000 +0100
-+++ menhir/src/Makefile	2009-01-23 11:21:11.000000000 +0100
-@@ -246,5 +246,9 @@
+--- menhir~/src/Makefile	2009-02-18 16:45:36.000000000 +0100
++++ menhir/src/Makefile	2009-02-18 16:55:40.000000000 +0100
+@@ -249,4 +249,8 @@
  
  # Building menhirLib.
  
@@ -16,4 +16,3 @@ diff -urNad menhir~/src/Makefile menhir/src/Makefile
 +else
  lib: menhirLib.cmo menhirLib.cmi menhirLib.cmx menhirLib.o
 +endif
- 

-- 
menhir packaging