From 6559b19501431a1d6223e2c9b3e970ebae878c57 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 28 Nov 2008 12:13:12 +0000
Subject: [PATCH] ...

---
 helm/www/matita/download.shtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 752e0b66b..b3d5b567c 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -48,7 +48,7 @@ e22f3c313f3291400f2912cc24eaa591
         )
         and
         build it by yourself, following the <a
-          href="docs/manual/sec_install.html">installation instructions</a>.
+          href="docs/manual/html/sec_install.html">installation instructions</a>.
         The build process, due to the high number of external dependency is not
         trivial, we thus suggest you to try the live CD or the .deb package
         first.</dd>
-- 
2.39.2