<sect1 id="aa-dejagnu" xreflabel="DejaGnu">
<title>DejaGnu</title>
<?dbhtml filename="dejagnu.html" dir="appendixa"?>

<!--
<para>For installation instructions see <xref linkend="ch05-dejagnu"/>.</para>
-->
<para>インストールの説明については <xref linkend="ch05-dejagnu"/> という項を見てください。</para>

&aa-dejagnu-down;
&aa-dejagnu-shortdesc;
&aa-dejagnu-desc;
&aa-dejagnu-dep;

</sect1>

