From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 28 Nov 2008 12:13:12 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~4483
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6559b19501431a1d6223e2c9b3e970ebae878c57;p=helm.git

...
---

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>