makefile reworked to make debian package possible

[helm.git] / matita / help / C / sec_gettingstarted.xml

diff --git a/matita/help/C/sec_gettingstarted.xml b/matita/help/C/sec_gettingstarted.xml
index b067e21ec409f004deffeafc2b4aa001a4a63778..0066449b0294618bff6953768c8d80f40c519350 100644 (file)
--- a/matita/help/C/sec_gettingstarted.xml
+++ b/matita/help/C/sec_gettingstarted.xml
@@ -110,7 +110,7 @@
    <figure><title>The Developments window</title>
      <mediaobject>
        <imageobject>
-         <imagedata fileref="developments.png" align="center"/> 
+         <imagedata fileref="figures/developments.png" /> 
        </imageobject>
        <textobject><phrase>Screenshot of the Developments window.</phrase></textobject>
      </mediaobject>
@@ -216,6 +216,10 @@
     </variablelist>
     </para>
  </sect2>
+   <sect2 id="authoringinterface">
+    <title>The authoring interface</title>
+    <para>&TODO;</para>
+   </sect2>
  </sect1>
 </chapter>