"_top">Docbook</a>, the Docbook DTD's and the Docbook modular stylesheets (or comparable alternatives), and either
<span class="APPLICATION">jade</span> or <span class="APPLICATION">openjade</span> (recommended) installed in order
to build docs from source. Currently there is <a href="../user-manual/index.html" target="_top"><i class=
"CITETITLE">user-manual</i></a>, <a href="../faq/index.html" target="_top"><i class="CITETITLE">FAQ</i></a>, and,
of course this, the <i class="CITETITLE">developer-manual</i> in this format. The <i class="CITETITLE">README</i>,
"_top">Docbook</a>, the Docbook DTD's and the Docbook modular stylesheets (or comparable alternatives), and either
<span class="APPLICATION">jade</span> or <span class="APPLICATION">openjade</span> (recommended) installed in order
to build docs from source. Currently there is <a href="../user-manual/index.html" target="_top"><i class=
"CITETITLE">user-manual</i></a>, <a href="../faq/index.html" target="_top"><i class="CITETITLE">FAQ</i></a>, and,
of course this, the <i class="CITETITLE">developer-manual</i> in this format. The <i class="CITETITLE">README</i>,