...

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
 
     Database setup
     Compiling and installing
 

+Configuring Matita
+

 Installing from sources
 
 Currently, the only intended way to install Matita is starting from its source
 Installing from sources
 
 Currently, the only intended way to install Matita is starting from its source


@@ -185,5 +187,5 @@ install
 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
 
 Prev                                                                       Next
 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
 
 Prev                                                                       Next

-Matita vs Coq                        Home            Chapter 3. Getting started
+Matita vs Coq                        Home                    Configuring Matita