]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/library/Makefile
1. metadata are no longer stored in .moo files.
[helm.git] / helm / ocaml / library / Makefile
index c22a61976a4f5a1a04c6235b1c45cf49d81d1b2f..ee07c81629ee9d7b543244f284eec26e3fab62f1 100644 (file)
@@ -9,6 +9,7 @@ INTERFACE_FILES = \
        coercDb.mli \
        librarySync.mli \
        coercGraph.mli \
+       libraryNoDb.mli \
        libraryClean.mli \
        $(NULL)
 IMPLEMENTATION_FILES = \