X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=737ee637903e8342aa469af1872fbab9f3c413f5;hb=afe1661e69d1fdec2a65abe1ea9abdae03874967;hp=bcafb843f409e283120bef10e068e9205a50a802;hpb=7e90385dab0e70776db81925b0dab5071432d313;p=helm.git

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index bcafb843f..737ee6379 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -43,7 +43,7 @@
         <dt>Sources</dt>
         
         <dd>You can download the <a
-          href="FILES/matita_0.5.8.orig.tar.gz">sources</a> of Matita (around 6 MB, md5sum:
+          href="FILES/matita-0.5.8.orig.tar.gz">sources</a> of Matita (around 6 MB, md5sum:
 125223d3dc522c4ac063a66f5d46df69 
         )
         and