absolute path and factorization for matita.basedir

[helm.git] / helm / www / matita / documentation.shtml

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 2ab98e1f2e010570ef63a35a5ee75eeb15efe8a6..3046178a3f3565568a960b34ce3bd5c00127fb98 100644 (file)
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -13,3 +13,4 @@
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->