no longer builds by default tex_ and cic_textual_parser

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 2e678c9d8305e4ba7c277d531345fd50b97563f0..be300223ddc0f4b5e992e6a42990a9470d05d8ce 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -12,8 +12,6 @@ MODULES =                     \
        cic                     \
        cic_annotations         \
        cic_proof_checking      \
-       cic_textual_parser      \
-       tex_cic_textual_parser  \
        cic_unification         \
        mathql                  \
        mathql_generator        \