[Pkg-ocaml-maint-commits] [SCM] ceve packaging branch, master, updated. eb4fb9a969b7336149caf5b5bb51235fc67e2406

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 3abd679317db049eb7e147a10179169dc264670d
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Tue Jun 3 10:16:04 2008 +0200

    remove left-over cmi upon clean

diff --git a/Makefile b/Makefile
index 153301f..6a9d715 100644
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,7 @@ egraph_writer.mli dose_writer.mli dependencies.mli \
 cnf_writer.mli graphviz_writer.mli oz_writer.mli
 OBJS = $(OCAML_SOURCES:.ml=.cmo)
 XBJS = $(OCAML_SOURCES:.ml=.cmx)
-CMIS = $(OCAML_MLIS:.mli=.cmi)
+CMIS = $(OCAML_MLIS:.mli=.cmi) ceve.cmi
 
 PACKAGES = -package dose2.dosebase,dose2.lifetime,dose2.ocamldeb,dose2.ocamlrpm,expat,str,$(CAMLZIP_NAME)
 ifdef USE_OCAMLDUCE

-- 
ceve packaging