hgdome and xmldiff no longer compiled

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 0c2d4941177a12cacac17e0b24afb51f7d32da6b..fe18d792d1b7cc592bee8a0aaf4c161b444ecc9a 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -3,12 +3,10 @@ NULL =
 MODULES =                      \
        extlib                  \
        xml                     \
-       hgdome                  \
        registry                \
        hmysql                  \
        utf8_macros             \
        thread                  \
-       xmldiff                 \
        urimanager              \
        logger                  \
        getter                  \