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 9bf1fa948c1d728a3a603ed17ee10cbb6822b4da..f9753df6d8783080923fde882f0424b2d043703d 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -1,30 +1,43 @@
+<!-- $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" -->
-    <h1><span class="h1">Sources</span></h1>
-    <p>
-    Matita has no officiale releases yet.
-    Still, you can get and build Matita from sources.
-    All our source code is released under the terms of the GNU General
-    Public Licence and is publically accessible on our
-    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2F&amp;sc=0">svn repository</a>.
-    Go there and download the tarball of the
-    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fcomponents%2F&amp;rev=0&amp;sc=0"><kbd>components/</kbd></a>
-    on which Matita is built and of
-    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2F&amp;rev=0&amp;sc=0"><kbd>matita/</kbd></a>
-    itself.
-    </p>
-    <p>
-    Once you got the sources, have a look at the
-    <a href="install.html">installation instructions</a> on how to build and
-    install Matita from sources.
-    </p>
-    <!--#include virtual="bottombar.shtml" -->
+    <div class="main">
+      <h1>Download Matita!</h1>
+
+      <h2>Releases</h2>
+      Matita has no official releases yet.
+
+      <h2>License</h2>
+      All our source code is released under the terms of the <a
+      href="http://www.gnu.org/licenses/gpl.html">GNU General Public
+      Licence</a> and is publically accessible on our <a
+      href="http://subversion.tigris.org">Subversion</a> repository.
+
+      <h2>Subversion repository</h2>
+      <p>
+      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:
+    <pre class="code">
+svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
+cd software/
+svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
+svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita
+</pre>
+      </p>
+      <p>
+      Once you got the sources, have a look at the
+      <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$ -->