X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fhelp%2FC%2Fsec_install.xml;h=929cad1aa63c785b2f4f955a91f6baf503de3349;hb=974bd74ea4b4cf56863d25b1fe5c3c50886e8e12;hp=38218c190be3496e219eb0f35e0bb333d106575e;hpb=d4c6f8464dc183326b7f7b4dc6171e69b482a26b;p=helm.git
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 @@
-
- library
-
- uses the (just built) matitac
- compiler to build the &appname; standard library.
-
-
-
install
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.
+ As a part of the installation process the &appname;
+ standard library will be compiled, thus testing that the just
+ built matitac compiler works
+ properly.
For this step you will need a working SQL database (for
indexing the standard library while you are compiling it). See
Database setup