use server-side include

[helm.git] / helm / www / matita / download.html
diff --git a/helm/www/matita/download.html b/helm/www/matita/download.html

deleted file mode 100644 (file)

index cc30eb4..0000000
--- a/helm/www/matita/download.html
+++ /dev/null
@@ -1,25 +0,0 @@
-<html>
-<head>
-       <title>Matita home page - download</title>
-       <link type="text/css" rel="stylesheet" href="style.css"/>
-</head>
-<body>
-       <div class="upmenu">  
-               <a class="upmenu" href=index.html>Matita Home</a>
-               <a class="upmenu" href=developers.html>Developers</a>
-               <a class="upmenu" href=documentation.html>Documentation</a>
-               <a class="upmenu" href=community.html>Community</a>
-               <a class="upmenu" href=download.html>Download</a>
-       </div>  
-       <h1><span class="h1">Sources</span></h1>
-       <p>
-       Since there is no official release, you can browse the svn repository
-       and get sources of the <a
-               href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Focaml%2F&rev=0&isdir=1">ocaml/</a>
-       and <a
-               href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fmatita%2F&rev=0&isdir=1">matita/</a>
-       modules.
-       </p>
-  </body>
-
-</html>