X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FMakefile;h=e3c921dd7dc21c752616f1b779e042e1af962232;hb=a677e0d09755766c61ce9b30a98bec10cb8902b3;hp=a484846a95abe66621b0929f3c6fd8b96e587ab1;hpb=111df95ac03f2ee21dfa2422a7f531f675b1c16d;p=helm.git

diff --git a/helm/software/components/library/Makefile b/helm/software/components/library/Makefile
index a484846a9..e3c921dd7 100644
--- 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 \