]> matita.cs.unibo.it Git - helm.git/commitdiff
relocation of developments.png
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 14 Jun 2006 14:14:11 +0000 (14:14 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 14 Jun 2006 14:14:11 +0000 (14:14 +0000)
matita/help/C/sec_gettingstarted.xml

index b067e21ec409f004deffeafc2b4aa001a4a63778..b9a9c34d927be6406db6c9b5ab34f6b381e667df 100644 (file)
    <figure><title>The Developments window</title>
      <mediaobject>
        <imageobject>
-         <imagedata fileref="developments.png" align="center"/> 
+         <imagedata fileref="figures/developments.png" align="center"/> 
        </imageobject>
        <textobject><phrase>Screenshot of the Developments window.</phrase></textobject>
      </mediaobject>