>>>>> "Mike" == Mike Frysinger via Gdb-patches <gdb-patches@sourceware.org> writes: Mike> Generate the manual as a single page to make it easier to browse. Looks good to me. Thank you. Tom