]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/xml/Makefile
Initial revision
[helm.git] / helm / ocaml / xml / Makefile
index 502cdc18a6bb63cc14177ca29b492949c58b0905..f6c43d228a45a409120ba07b0c0a78b84d12fdf2 100644 (file)
@@ -5,5 +5,6 @@ PREDICATES =
 INTERFACE_FILES = xml.mli
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
+EXTRA_OBJECTS_TO_CLEAN =
 
 include ../Makefile.common