keeping the generated manual on svn is overkilling

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

index 361fdb0a69b72ed890cd58b67cdf44d9c9048358..e0f6c053d80f7173685b51d65a786a9890aa621a 100644 (file)
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -1,13 +1,15 @@
+<!-- $Id$ -->
  <!--#include virtual="xhtml-header.shtml" -->
  <html>
    <head>
-    <title>Matita home page - documentation</title>
-    <link type="text/css" rel="stylesheet" href="style.css"/>
+    <title>Matita - Documentation</title>
+    <!--#include virtual="xhtml-meta.shtml" -->
    </head>
    <body>
      <!--#include virtual="menubar.shtml" -->
      <div class="main">
        <h1>Matita Documentation</h1>
+
        <h2>User manual</h2>
        <p>
        We are working on the user manual of Matita. The current status is
@@ -17,8 +19,8 @@
        <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2Fhelp%2FC%2F&amp;rev=0&amp;sc=0"><kbd>matita/help</kbd> directory</a>
        (in <a href="http://www.oasis-open.org/docbook/">DocBook</a> format)
        </p>
+
+      <!--#include virtual="bottombar.shtml" -->
      </div>
-    <!--#include virtual="bottombar.shtml" -->
    </body>
  </html>
-<!-- $Id$ -->