do not generate deps for legacy URIs

[helm.git] / helm / matita_homepage / developers.html
diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html

index f6d9ab18137de50f7f8790214524db44fd8fdf6c..085c73ab5f48f0d53460a18febf632acdb9f33eb 100644 (file)
--- a/helm/matita_homepage/developers.html
+++ b/helm/matita_homepage/developers.html
@@ -11,10 +11,10 @@
    <body>
    
      <ul>
-      <li><a href="www.cs.unibo.it/~asperti">Andrea Asperti</a></li>
-      <li><a href="www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a></li>
-      <li><a href="www.cs.unibo.it/~tassi">Enrico Tassi</a></li>
-      <li><a href="www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a></li>
+      <li><a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a></li>
+      <li><a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a></li>
+      <li><a href="http://www.cs.unibo.it/~tassi">Enrico Tassi</a></li>
+      <li><a href="http://www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a></li>
      </ul>
  
    </body>