From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 8 Dec 2008 00:39:33 +0000 (+0000)
Subject: 3.5 -> 35 to help crappy latex
X-Git-Tag: make_still_working~4437
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c56924b23147e410ad1477ed600d8319c8913258;p=helm.git

3.5 -> 35 to help crappy latex
---

diff --git a/helm/software/matita/help/C/figures/vbox3.5.png b/helm/software/matita/help/C/figures/vbox3.5.png
deleted file mode 100644
index 313bd1ca8..000000000
Binary files a/helm/software/matita/help/C/figures/vbox3.5.png and /dev/null differ
diff --git a/helm/software/matita/help/C/figures/vbox35.png b/helm/software/matita/help/C/figures/vbox35.png
new file mode 100644
index 000000000..313bd1ca8
Binary files /dev/null and b/helm/software/matita/help/C/figures/vbox35.png differ
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>