K 10 svn:author V 5 simon K 8 svn:date V 27 2004-12-12T12:21:49.000000Z K 7 svn:log V 139 Improve mark-up a bit: - Use a manual page reference for gdb(1). - Use . - Do not embed sections in sections. END