[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-3-g5daba9c

[Hendrik Tews]

The following commit has been merged in the master branch:
commit 5daba9cd5298c72851a5809ac0033f0ca0e2ecd5
Author: Hendrik Tews <hendrik at askra.de>
Date:   Fri Mar 16 21:44:37 2012 +0100

    dh --with ocaml

diff --git a/debian/rules b/debian/rules
index 6e81989..d05b1fd 100755
--- a/debian/rules
+++ b/debian/rules
@@ -23,7 +23,7 @@ export DH_OPTIONS
 
 
 %:
-	dh $@ 
+	dh $@ --with ocaml
 
 .PHONY: override_dh_auto_build
 override_dh_auto_build:

-- 
hol-light packaging