The following commit has been merged in the master branch:
commit f493fe0d178b23e2d67f4341305d2bf409d7bfc7
Author: Stephane Glondu <st...@glondu.net>
Date: Mon Jun 17 17:07:09 2013 +0200
Update packaging
diff --git a/debian/rules b/debian/rules
index fb39395..c2bd242 100755
--- a/debian/rules
+++ b/debian/rules
@@ -33,4 +33,4 @@ override_dh_auto_clean:
.PHONY: override_dh_install
override_dh_install:
- dh_install --fail-missing
+ dh_install --fail-missing -Xusr/share/doc/type_conv/
--
type-conv packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
