BIG FAT WARNING: DEVELOPMENTS DIE HERE

[helm.git] / helm / software / components / library / Makefile

diff --git a/helm/software/components/library/Makefile b/helm/software/components/library/Makefile
index a484846a95abe66621b0929f3c6fd8b96e587ab1..e3c921dd7dc21c752616f1b779e042e1af962232 100644 (file)
--- a/helm/software/components/library/Makefile
+++ b/helm/software/components/library/Makefile
@@ -2,6 +2,7 @@ PACKAGE = library
 PREDICATES =
 
 INTERFACE_FILES = \
+       librarian.mli \
        cicElim.mli \
        cicRecord.mli \
        libraryMisc.mli \