[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20071212.dfsg-1-24-g7c25d92

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 2a7108bf0b5c5bd3d85916f867992c3fe2c52f58
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Mon Jan 19 14:26:36 2009 +0100

    Remove extra line and extra space

diff --git a/debian/patches/src_Makefile.dpatch b/debian/patches/src_Makefile.dpatch
index e940685..cf62798 100755
--- a/debian/patches/src_Makefile.dpatch
+++ b/debian/patches/src_Makefile.dpatch
@@ -15,7 +15,6 @@ diff -urNad menhir~/src/Makefile menhir/src/Makefile
 +ifeq ($(TARGET),byte)
 +lib: menhirLib.cmo menhirLib.cmi
 +else
-+ lib: menhirLib.cmo menhirLib.cmi menhirLib.cmx menhirLib.o
-+
++lib: menhirLib.cmo menhirLib.cmi menhirLib.cmx menhirLib.o
 +endif
  

-- 
menhir packaging