From c0d14793f9f6a19d7ccb35daec678dffd22af473 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 14 Jun 2006 14:14:11 +0000
Subject: [PATCH] relocation of developments.png

---
 matita/help/C/sec_gettingstarted.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/matita/help/C/sec_gettingstarted.xml b/matita/help/C/sec_gettingstarted.xml
index b067e21ec..b9a9c34d9 100644
--- 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" align="center"/> 
        </imageobject>
        <textobject><phrase>Screenshot of the Developments window.</phrase></textobject>
      </mediaobject>
-- 
2.39.2