<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>

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

</sect1>

