appendixa/dejagnu.xml


1
2
3
4
5
6
7
8
9
10
11

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