From a1f46f487031226b168159c61652209050ef66b0 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 29 Oct 2014 14:25:23 +0100
Subject: [PATCH] documentation

---
 .gitignore |  1 +
 Makefile   |  2 +-
 msat.odocl | 19 +++++++++++++++++++
 3 files changed, 21 insertions(+), 1 deletion(-)
 create mode 100644 msat.odocl

diff --git a/.gitignore b/.gitignore
index 11a6f0f4..3481c37b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,4 @@ _build/
 .*.swp
 TAGS
 .session
+*.docdir
diff --git a/Makefile b/Makefile
index 105c3721..265b4262 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@ LOG=build.log
 COMP=ocamlbuild -log $(LOG) -use-ocamlfind -package num,zarith,unix -classic-display
 FLAGS=
 DIRS=-Is smt,common
-DOC=lib.docdir/index.html
+DOC=msat.docdir/index.html
 
 NAME=msat
 
diff --git a/msat.odocl b/msat.odocl
new file mode 100644
index 00000000..1f78d9ee
--- /dev/null
+++ b/msat.odocl
@@ -0,0 +1,19 @@
+smt/Arith
+smt/Cc
+smt/Combine
+smt/Exception
+smt/Explanation
+smt/Fm
+smt/Intervals
+smt/Literal
+smt/Polynome
+smt/Smt
+smt/Solver
+smt/Solver_types
+smt/Sum
+smt/Symbols
+smt/Term
+smt/Ty
+smt/Uf
+smt/Use
+