<sect1 id="aa-man"> <title>Man</title> <?dbhtml filename="man.html" dir="appendixa"?> &aa-man-down; &aa-man-desc; &aa-man-dep; </sect1>