From 101c21fc36fbbff8805e10cfe80082b3a9b52048 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 30 Aug 2007 13:13:14 +0000
Subject: [PATCH] ...

---
 helm/software/matita/dist/INSTALL | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
 
-- 
2.39.2