  <dl class="code">
    <dd>./configure.sh [options]</dd>
  </dl>
</li>

<li> We can now proceed to the Javalib compilation. In the toplevel directory,
enter:
<dl>
  <dd><span class="code">make</span></dd>
  <dd><span class="code">make install</span> (if configure was run with the --local option)</dd>
  <dd><span class="code">sudo make install</span> (otherwise)</dd>
</dl>
</li>

<li> If you want the documentation, run:
<dl class="code">
  <dd>make doc</dd>
</dl>
</li>

<li> Finally, you can clean the sourc