New image from Tassi's PhD thesis.

diff --git a/helm/software/matita/help/C/figures/database.dia b/helm/software/matita/help/C/figures/database.dia
new file mode 100644 (file)
index 0000000..652ea01
Binary files /dev/null and b/helm/software/matita/help/C/figures/database.dia differ

diff --git a/helm/software/matita/help/C/figures/database.png b/helm/software/matita/help/C/figures/database.png
new file mode 100644 (file)
index 0000000..7e9b1ca
Binary files /dev/null and b/helm/software/matita/help/C/figures/database.png differ

diff --git a/helm/software/matita/help/C/sec_install.xml b/helm/software/matita/help/C/sec_install.xml
index 44e46b7fcfb93f0ffa9dd70378df533606464bac..a7490503a785aae18a9c426e89f5bc774c02613d 100644 (file)
--- a/helm/software/matita/help/C/sec_install.xml
+++ b/helm/software/matita/help/C/sec_install.xml
@@ -371,6 +371,14 @@
     The file <emphasis>matita.conf.xml</emphasis>...
     &TODO;
     </para>
+   <figure><title>Configuring the Databases</title>
+     <mediaobject>
+       <imageobject>
+         <imagedata fileref="figures/database.png" format="PNG" srccredit="Enrico Tassi"/>
+       </imageobject>
+       <textobject><phrase>How to configure the databases.</phrase></textobject>
+     </mediaobject>
+   </figure>
   </sect1>
 
 </chapter>