From 3cefd85b2167675f3556766a58efe9cd07b7cb18 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Thu, 1 Dec 2016 15:50:57 +0100
Subject: [PATCH] Fixed some typos in doc

---
 doc/deploy             |  2 +-
 doc/release            |  4 ++--
 src/doc.txt            |  4 ++--
 src/msat.odocl         | 12 ++++--------
 src/solver/tseitin.mli |  1 +
 5 files changed, 10 insertions(+), 13 deletions(-)

diff --git a/doc/deploy b/doc/deploy
index 7fa4a604..8a1cb92c 100755
--- a/doc/deploy
+++ b/doc/deploy
@@ -1,6 +1,6 @@
 #!/bin/bash -e
 
-# Enssure we are on master branch
+# Ensure we are on master branch
 git checkout master
 
 # Generate documentation
diff --git a/doc/release b/doc/release
index 465f672a..c4564484 100755
--- a/doc/release
+++ b/doc/release
@@ -7,7 +7,7 @@ version=`cat VERSION`
 git checkout master
 
 # Generate documentation
-(cd src && make doc)
+make doc
 (cd doc && asciidoc index.txt)
 
 # Checkout gh-pages
@@ -19,7 +19,7 @@ mkdir -p ./$version
 
 # Copy doc to the right locations
 cp doc/index.html ./
-cp src/dolmen.docdir/* ./$version/
+cp msat.docdir/* ./$version/
 
 # Add potentially new pages
 git add ./$version/*
diff --git a/src/doc.txt b/src/doc.txt
index aaea57e3..fa385768 100644
--- a/src/doc.txt
+++ b/src/doc.txt
@@ -24,7 +24,7 @@ Theory_intf
 
 The following modules allow the creation of a McSat solver (Model Constructing solver):
 
-{!ṃodules:
+{!modules:
 Mcsolver
 Expr_intf
 Plugin_intf
@@ -32,7 +32,7 @@ Plugin_intf
 
 Lastly, mSAT also provides an implementation of Tseitin's CNF conversion:
 
-{!modules
+{!modules:
 Tseitin
 Tseitin_intf
 }
diff --git a/src/msat.odocl b/src/msat.odocl
index 8a2003a7..94e2d9ec 100644
--- a/src/msat.odocl
+++ b/src/msat.odocl
@@ -26,22 +26,18 @@ backend/Dot
 backend/Dedukti
 backend/Backend_intf
 
-# Auxiliary
-util/Hashcons
-
-
 # SAT solver frontend
-sat/Expr_sat
 sat/Sat
+sat/Expr_sat
 sat/Type_sat
 
 # SMT solver frontend
-smt/Expr_smt
 smt/Smt
+smt/Expr_smt
 smt/Type_smt
 smt/Unionfind
 
-# MCsat
-mcsat/Eclosure
+# MCsat solver frontend
 mcsat/Mcsat
+mcsat/Eclosure
 mcsat/Plugin_mcsat
diff --git a/src/solver/tseitin.mli b/src/solver/tseitin.mli
index bd52ffeb..12e8066c 100644
--- a/src/solver/tseitin.mli
+++ b/src/solver/tseitin.mli
@@ -8,3 +8,4 @@ module type S = Tseitin_intf.S
 
 module Make : functor
   (F : Tseitin_intf.Arg) -> S with type atom = F.t
+