matita/help/C/sec_install.xml

   1
   2 <!-- ============= Installation ============================== -->
   3
   4 <sect1 id="sec_install">
   5   <title>Installation</title>
   6
   7   <sect2>
   8     <title>Installing &appname; from sources</title>
   9
  10     <para>Currently, the only intended way to install &appname; is starting
  11       from its source code.  </para>
  12
  13     <sect3>
  14       <title>Getting the source code</title>
  15
  16       <para>You can get the &appname; source code in two ways:
  17         <orderedlist>
  18           <listitem> <para>foo</para> </listitem>
  19           <listitem> <para>bar</para> </listitem>
  20         </orderedlist>
  21       </para>
  22
  23     </sect3>
  24
  25   </sect2>
  26 </sect1>
  27