X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdist%2FINSTALL;h=dfec3e1410805552404e62730cded8a4a131419e;hb=ae5ab4187e4dcc57a16d2375445f8353fbad7d92;hp=b1f87880649d9a3e2a888960d4b918b8c0721dd4;hpb=c4f04f460838ee0450e73f96bda214b7988b16a6;p=helm.git

diff --git a/helm/software/matita/dist/INSTALL b/helm/software/matita/dist/INSTALL
index b1f878806..dfec3e141 100644
--- a/helm/software/matita/dist/INSTALL
+++ b/helm/software/matita/dist/INSTALL
@@ -17,6 +17,8 @@ Installing from sources
     Database setup
     Compiling and installing
 
+Configuring Matita
+
 Installing from sources
 
 Currently, the only intended way to install Matita is starting from its source
@@ -185,5 +187,5 @@ install
 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
 
 Prev                                                                       Next
-Matita vs Coq                        Home            Chapter 3. Getting started
+Matita vs Coq                        Home                    Configuring Matita