...

diff --git a/helm/software/matita/dist/INSTALL b/helm/software/matita/dist/INSTALL
index b1f87880649d9a3e2a888960d4b918b8c0721dd4..dfec3e1410805552404e62730cded8a4a131419e 100644 (file)
--- 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