X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FMakefile;h=e3c921dd7dc21c752616f1b779e042e1af962232;hb=2ea5357bace160aaf57750d9dcfb3077fe5a1b38;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 \