...

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 752e0b66b2091d90e1361b083e3e19bb0d5c6643..b3d5b567c37211b6b42762e3bbe5b790399443cf 100644 (file)
--- 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>