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 (file)
index 313bd1c..0000000
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 (file)
index 0000000..313bd1c
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 fbd457fb393e199c0c98092eb14c99d09d9358aa..1582965c58e941a04a0a17d77551e7568cb490d9 100644 (file)
--- 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>