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