changed install target so that figures are instaled as well

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

index 30830764c887d54ad30445ca868b9770ce19ab05..57298c377974123e06b9e4ba7e40e57310a992ab 100644 (file)
--- a/helm/www/matita/matita.shtml
+++ b/helm/www/matita/matita.shtml
@@ -7,6 +7,7 @@
    </head>
    <body>
      <!--#include virtual="menubar.shtml" -->
+    <!--#include virtual="news.shtml" -->
      <div class="main">
  
        <div class="topimage">