- reordered modules so that pxp could be used as entry point for pxp

- added hbugs
- pretty printed modules

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 9ba9e8bd4f6c738ed206469c8cd10ead0e52a348..ca5a17f8e7b6449bf826f55735630dade53cd7b8 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -1,26 +1,27 @@
 # Warning: the modules must be in compilation order
-MODULES = \
-       registry \
-       thread \
-       xml \
-       urimanager \
-       logger \
-       getter \
-       pxp \
-       cic \
-       cic_annotations \
-       cic_annotations_cache \
-       cic_cache \
-       cic_proof_checking \
-       cic_textual_parser \
-       tex_cic_textual_parser \
-       cic_unification \
-       mathql \
-       mathql_generator \
-       mathql_interpreter \
-       cic_omdoc \
-       tactics \
-       cic_transformations \
+MODULES =                      \
+       pxp                     \
+       registry                \
+       thread                  \
+       xml                     \
+       urimanager              \
+       logger                  \
+       getter                  \
+       cic                     \
+       cic_annotations         \
+       cic_annotations_cache   \
+       cic_cache               \
+       cic_proof_checking      \
+       cic_textual_parser      \
+       tex_cic_textual_parser  \
+       cic_unification         \
+       mathql                  \
+       mathql_generator        \
+       mathql_interpreter      \
+       cic_omdoc               \
+       tactics                 \
+       hbugs                   \
+       cic_transformations     \
        cic_textual_parser2
 
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@