From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 21 Mar 2006 16:50:37 +0000 (+0000)
Subject: removed mention of the "library" target, no longer needed for the installation
X-Git-Tag: 0.4.95@7852~1578
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=21401f0c4b90a1c927aec3a5821c3989370f0a15;p=helm.git

removed mention of the "library" target, no longer needed for the installation
---

diff --git a/matita/help/C/sec_install.xml b/matita/help/C/sec_install.xml
index 38218c190..929cad1aa 100644
--- a/matita/help/C/sec_install.xml
+++ b/matita/help/C/sec_install.xml
@@ -338,20 +338,16 @@
 	    </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>