new logger, getter, and the hell

[helm.git] / helm / ocaml / Makefile.in

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index ec30fb868343eff2ed0920b63ba7a7a7d6628656..a2cb5f27819fb68020db7ca9ee0afcfd6f047f19 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -1,7 +1,10 @@
 # Warning: the modules must be in compilation order
 MODULES = \
+       registry \
+       thread \
        xml \
        urimanager \
+       logger \
        getter \
        pxp \
        cic \
@@ -18,7 +21,6 @@ MODULES = \
        cic_omdoc \
        tactics \
        cic_transformations \
-       logger \
        cic_textual_parser2
 
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
@@ -33,11 +35,11 @@ metas: $(METAS)
 depend: $(MODULES:%=%.depend)
 install: $(MODULES:%=%.install)
 uninstall: $(MODULES:%=%.uninstall)
-clean: $(MODULES:%=%.clean) clean_metas
+clean: $(MODULES:%=%.clean)
 clean_metas:
        rm -f $(METAS)
 
-dist-clean: clean
+distclean: clean clean_metas
        rm -f Makefile Makefile.common configure config.log config.cache config.status
 
 $(MODULES:%=%.all):