------- Comment #11 from doko at ubuntu dot com 2010-01-20 13:58 ------- the man pages still have problems with escape codes used (prefix backslashes); I didn't build and run the check tool yet again. Matthias -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42460 ------- You are receiving this mail because: ------- You reported the bug, or are watching the reporter.