<sect1 id="aa-texinfo">
<title>Texinfo</title>
<?dbhtml filename="texinfo.html" dir="appendixa"?>

&aa-texinfo-down;
&aa-texinfo-desc;
&aa-texinfo-dep;

</sect1>