]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/help/C/sec_install.xml
removed overkilling info for our manual
[helm.git] / helm / software / matita / help / C / sec_install.xml
index 38218c190be3496e219eb0f35e0bb333d106575e..be9ddaa11364bae4257f0ed3b13ce55ef7c9cba7 100644 (file)
@@ -54,8 +54,8 @@
            you can have APT install all the required tools and libraries by
            adding the following repository to your
            <filename>/etc/apt/sources.list</filename>: <programlisting>
-             deb&nbsp;<ulink type="http"
-               url="http://people.debian.org/~zack">http://people.debian.org/~zack</ulink>&nbsp;unstable&nbsp;helm
+             deb <ulink type="http"
+               url="http://people.debian.org/~zack">http://people.debian.org/~zack</ulink> unstable helm
          </programlisting> and installing the
          <application>helm-matita-deps</application> package.</para>
 
          <varlistentry>
            <term>
              <application> <ulink type="http"
-                 url="http://www.cduce.org/download.html#side">ulex</ulink>
+                 url="http://www.cduce.org/download.html">ulex</ulink>
              </application>
            </term>
            <listitem>
          <varlistentry>
            <term>
              <application> <ulink type="http"
-                 url="http://cristal.inria.fr/~xleroy/software.html#camlzip">CamlZip</ulink>
+                 url="http://cristal.inria.fr/~xleroy/software.html">CamlZip</ulink>
              </application>
            </term>
            <listitem>
                <entry> <filename>/usr/local/matita/</filename> </entry>
                <entry> <para> Runtime base directory where all &appname; stuff
                    (executables, configuration files, standard
-                   library,&nbsp;...) will be installed </para> </entry>
+                   library, ...) will be installed </para> </entry>
              </row>
              <row>
                <entry>
            </listitem>
          </varlistentry>
 
-         <varlistentry>
-           <term><userinput>library</userinput></term>
-           <listitem>
-             <para>uses the (just built) <application>matitac</application>
-               compiler to build the &appname; standard library. </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
+               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>