From c56924b23147e410ad1477ed600d8319c8913258 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 8 Dec 2008 00:39:33 +0000
Subject: [PATCH] 3.5 -> 35 to help crappy latex

---
 .../help/C/figures/{vbox3.5.png => vbox35.png}      | Bin
 helm/software/matita/help/C/sec_install.xml         |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename helm/software/matita/help/C/figures/{vbox3.5.png => vbox35.png} (100%)

diff --git a/helm/software/matita/help/C/figures/vbox3.5.png b/helm/software/matita/help/C/figures/vbox35.png
similarity index 100%
rename from helm/software/matita/help/C/figures/vbox3.5.png
rename to helm/software/matita/help/C/figures/vbox35.png
diff --git a/helm/software/matita/help/C/sec_install.xml b/helm/software/matita/help/C/sec_install.xml
index fbd457fb3..1582965c5 100644
--- a/helm/software/matita/help/C/sec_install.xml
+++ b/helm/software/matita/help/C/sec_install.xml
@@ -93,7 +93,7 @@
    <figure><title>Choosing the ISO image</title>
      <mediaobject>
        <imageobject>
-         <imagedata fileref="figures/vbox3.5.png" format="PNG" srccredit="Enrico Tassi"/>
+         <imagedata fileref="figures/vbox35.png" format="PNG" srccredit="Enrico Tassi"/>
        </imageobject>
        <textobject><phrase>Choosing the ISO image</phrase></textobject>
      </mediaobject>
-- 
2.39.2