diff --git a/Makefile b/Makefile
index b15b541b..6fbc8a0d 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@
 LOG=build.log
 COMP=ocamlbuild -log $(LOG) -use-ocamlfind
 FLAGS=
-DOC=src/msat.docdir/index.html src/msat_sat.docdir/index.html src/msat_smt.docdir/index.html
+DOC=src/msat.docdir/index.html
 BIN=main.native
 TEST_BIN=tests/test_api.native
 
diff --git a/src/msat.odocl b/src/msat.odocl
index b4fcb575..8a2003a7 100644
--- a/src/msat.odocl
+++ b/src/msat.odocl
@@ -28,3 +28,20 @@ backend/Backend_intf
 
 # Auxiliary
 util/Hashcons
+
+
+# SAT solver frontend
+sat/Expr_sat
+sat/Sat
+sat/Type_sat
+
+# SMT solver frontend
+smt/Expr_smt
+smt/Smt
+smt/Type_smt
+smt/Unionfind
+
+# MCsat
+mcsat/Eclosure
+mcsat/Mcsat
+mcsat/Plugin_mcsat
diff --git a/src/msat_sat.odocl b/src/msat_sat.odocl
deleted file mode 100644
index 89dc2675..00000000
--- a/src/msat_sat.odocl
+++ /dev/null
@@ -1,5 +0,0 @@
-
-sat/Expr_sat
-sat/Sat
-sat/Type_sat
-
diff --git a/src/msat_smt.odocl b/src/msat_smt.odocl
deleted file mode 100644
index 09393931..00000000
--- a/src/msat_smt.odocl
+++ /dev/null
@@ -1,5 +0,0 @@
-
-smt/Expr_smt
-smt/Smt
-smt/Type_smt
-smt/Unionfind