first generation of manual from docbook

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

index 94ec8dc6a8c627afeaac2823c6970d9e7c52a6aa..f9753df6d8783080923fde882f0424b2d043703d 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -1,8 +1,9 @@
+<!-- $Id$ -->
  <!--#include virtual="xhtml-header.shtml" -->
  <html>
    <head>
-    <title>Matita home page - download</title>
-    <link type="text/css" rel="stylesheet" href="style.css"/>
+    <title>Matita - Download</title>
+    <!--#include virtual="xhtml-meta.shtml" -->
    </head>
    <body>
      <!--#include virtual="menubar.shtml" -->
@@ -20,7 +21,7 @@
  
        <h2>Subversion repository</h2>
        <p>
-      You can <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2F&sc=0">browse our svn repository</a> directly on the web.
+      You can <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2F&amp;sc=0">browse our svn repository</a> directly on the web.
        </p>
        <p>
        To checkout a copy of the sources type:
@@ -33,11 +34,10 @@ svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita
        </p>
        <p>
        Once you got the sources, have a look at the
-      <a href="docs/manual/install.html">installation instructions</a> on how to build and
-      install Matita from sources.
+      <a href="docs/manual/sec_install.html">installation instructions</a> on
+      how to build and install Matita from sources.
        </p>
        <!--#include virtual="bottombar.shtml" -->
      </div>
    </body>
  </html>
-<!-- $Id$ -->