more work for the release

[helm.git] / helm / software / matita / help / C / sec_install.xml

diff --git a/helm/software/matita/help/C/sec_install.xml b/helm/software/matita/help/C/sec_install.xml
index 70bd903ccaa85edade8f6ac561f02a5e6977f15d..38218c190be3496e219eb0f35e0bb333d106575e 100644 (file)
--- a/helm/software/matita/help/C/sec_install.xml
+++ b/helm/software/matita/help/C/sec_install.xml
@@ -333,7 +333,7 @@
            <term><userinput>world</userinput></term>
            <listitem>
              <para>builds components needed by &appname; and &appname; itself
-               (in bytecode only or in both bytecode and native code depending
+               (in bytecode or native code depending
                on the availability of the OCaml native code compiler) </para>
            </listitem>
          </varlistentry>
@@ -343,10 +343,6 @@
            <listitem>
              <para>uses the (just built) <application>matitac</application>
                compiler to build the &appname; standard library. </para>
-             <para>For this step you will need a working SQL database (for
-               indexing the standard library while you are compiling it). See
-               <ulink type="http" url="#database_setup">Database setup</ulink>
-               for instructions on how to set it up.</para>
            </listitem>
          </varlistentry>
 
@@ -356,6 +352,11 @@
              <para>installs &appname; related tools, standard library and the
                needed runtime stuff in the proper places on the filesystem
              </para>
+             <para>For this step you will need a working SQL database (for
+               indexing the standard library while you are compiling it). See
+               <ulink type="http" url="#database_setup">Database setup</ulink>
+               for instructions on how to set it up.
+             </para>
            </listitem>
          </varlistentry>