packaging cleanup: get rid of ancient debhelpers, use dh_install

[helm.git] / helm / ocaml / cic_notation / Makefile

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index 898efa32a9d1af374b6cbd46da28e54b24f0a2f6..61c3f6d08f22a9291434ff3939d863937f0fbacc 100644 (file)
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -24,6 +24,7 @@ INTERFACE_FILES = \
        mpresentation.mli       \
        box.mli                 \
        cicNotationPres.mli     \
+       boxPp.mli               \
        cicNotation.mli         \
        $(NULL)
 IMPLEMENTATION_FILES = \