bugfix: "make debhelper" should now work even if patched debhelper version have been...

diff --git a/Makefile b/Makefile
index 12984939246164b5396822db90ab7c75cdbbf60f..8222deddc61544ef89da3ffee0a46358b4018493 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 
-DEBHELPER_VERSION := $(shell grep-available -X -F Package -s Version debhelper | cut -f 2 -d ' ')
-#  DEBHELPER_VERSION = 4.9.5
+DEBHELPER_VERSION := $(patsubst %+dh_ocaml,%,$(shell grep-available -X -F Package -s Version debhelper | cut -f 2 -d ' '))
+# DEBHELPER_VERSION = 4.9.5
 OCAML_VERSION = 3.08.3
 OCAML_LIB_DIR = /usr/lib/ocaml/$(OCAML_VERSION)
 DEBHELPER_DSC = debhelper_$(DEBHELPER_VERSION).dsc