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