<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-dep; </sect1>
