X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_install.xml;h=23c690081ea3d36039e7d451c45e80b42b4b4322;hb=8f699ab265e380a2d1ab7dba0ee5e8ba5556a84a;hp=92e9d62cc178812ca621194e31b49dd40b8e2903;hpb=ddc80515997a3f56085c6234d4db326141e189aa;p=helm.git

diff --git a/matita/matita/help/C/sec_install.xml b/matita/matita/help/C/sec_install.xml
index 92e9d62cc..23c690081 100644
--- a/matita/matita/help/C/sec_install.xml
+++ b/matita/matita/help/C/sec_install.xml
@@ -288,6 +288,7 @@
 	    </listitem>
 	  </varlistentry>
 
+	  <!--
 	  <varlistentry>
 	    <term>
 	      <application> <ulink type="http"
@@ -300,7 +301,9 @@
 		  library</application></para>
 	    </listitem>
 	  </varlistentry>
+	  -->
 
+          <!--
 	  <varlistentry>
 	    <term>
 	      <application> <ulink type="http"
@@ -311,6 +314,7 @@
 	      <para> OCaml library to write HTTP daemons (and clients) </para>
 	    </listitem>
 	  </varlistentry>
+	  -->
 
 	  <varlistentry>
 	    <term>
@@ -325,6 +329,7 @@
 	    </listitem>
 	  </varlistentry>
 
+	  <!--
 	  <varlistentry>
 	    <term>
 	      <application> <ulink type="http"
@@ -342,6 +347,7 @@
 		OCaml bindings </para>
 	    </listitem>
 	  </varlistentry>
+	  -->
 
 	  <varlistentry>
 	    <term>
@@ -360,6 +366,7 @@
 	    </listitem>
 	  </varlistentry>
 
+          <!--
 	  <varlistentry>
 	    <term> &MYSQL; </term>
 	    <term>
@@ -389,6 +396,7 @@
 	      </para>
 	    </listitem>
 	  </varlistentry>
+	  -->
 
 	  <varlistentry>
 	    <term>
@@ -429,6 +437,7 @@
 
     </sect2>
 
+    <!--
     <sect2 id="database_setup">
       <title>(optional) &MYSQL; setup</title>
 
@@ -464,6 +473,7 @@
       </note>
       
     </sect2>
+    -->
 
     <sect2 id="build_instructions">
       <title>Compiling and installing</title>
@@ -499,9 +509,10 @@
 	    </listitem>
 	  </varlistentry>
 
+          <!--
 	  <varlistentry>
 	    <term>
-	      <userinput>--with-dbhost=<replaceable>host</replaceable></userinput>
+	      <userinput>- - with-dbhost=<replaceable>host</replaceable></userinput>
 	    </term>
 	    <listitem>
 	      <para>
@@ -512,6 +523,7 @@
 	      </para>
 	    </listitem>
 	  </varlistentry>
+	  -->
 
 	  <varlistentry>
 	    <term>
@@ -551,6 +563,7 @@
 	      <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
@@ -559,7 +572,7 @@
 		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>
+	      </para>-->
 	    </listitem>
 	  </varlistentry>
 
@@ -569,6 +582,7 @@
 
   </sect1>
 
+  <!--
   <sect1 id="matita.conf.xml">
     <title>Configuring &appname;</title>
     <para>
@@ -679,6 +693,7 @@
 	end to which it is attached.
    </para>
   </sect1>
+  -->
 
 </chapter>