duplicate check for coercions when added to Db

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

diff --git a/matita/help/C/sec_install.xml b/matita/help/C/sec_install.xml
index 70bd903ccaa85edade8f6ac561f02a5e6977f15d..929cad1aa63c785b2f4f955a91f6baf503de3349 100644 (file)
--- a/matita/help/C/sec_install.xml
+++ b/matita/help/C/sec_install.xml
@@ -333,28 +333,25 @@
            <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>
 
          <varlistentry>
-           <term><userinput>library</userinput></term>
+           <term><userinput>install</userinput></term>
            <listitem>
-             <para>uses the (just built) <application>matitac</application>
-               compiler to build the &appname; standard library. </para>
+             <para>installs &appname; related tools, standard library and the
+               needed runtime stuff in the proper places on the filesystem.
+             </para>
+             <para>As a part of the installation process the &appname;
+               standard library will be compiled, thus testing that the just
+               built <application>matitac</application> compiler works
+               properly.</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>
-
-         <varlistentry>
-           <term><userinput>install</userinput></term>
-           <listitem>
-             <para>installs &appname; related tools, standard library and the
-               needed runtime stuff in the proper places on the filesystem
+               for instructions on how to set it up.
              </para>
            </listitem>
          </varlistentry>