</listitem>
</varlistentry>
+ <!--
<varlistentry>
<term>
<application> <ulink type="http"
library</application></para>
</listitem>
</varlistentry>
+ -->
+ <!--
<varlistentry>
<term>
<application> <ulink type="http"
<para> OCaml library to write HTTP daemons (and clients) </para>
</listitem>
</varlistentry>
+ -->
<varlistentry>
<term>
</listitem>
</varlistentry>
+ <!--
<varlistentry>
<term>
<application> <ulink type="http"
OCaml bindings </para>
</listitem>
</varlistentry>
+ -->
<varlistentry>
<term>
</listitem>
</varlistentry>
+ <!--
<varlistentry>
<term> &MYSQL; </term>
<term>
</para>
</listitem>
</varlistentry>
+ -->
<varlistentry>
<term>
</sect2>
+ <!--
<sect2 id="database_setup">
<title>(optional) &MYSQL; setup</title>
</note>
</sect2>
+ -->
<sect2 id="build_instructions">
<title>Compiling and installing</title>
</listitem>
</varlistentry>
+ <!--
<varlistentry>
<term>
- <userinput>--with-dbhost=<replaceable>host</replaceable></userinput>
+ <userinput>- - with-dbhost=<replaceable>host</replaceable></userinput>
</term>
<listitem>
<para>
</para>
</listitem>
</varlistentry>
+ -->
<varlistentry>
<term>
<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
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>
</sect1>
+ <!--
<sect1 id="matita.conf.xml">
<title>Configuring &appname;</title>
<para>
end to which it is attached.
</para>
</sect1>
+ -->
</chapter>