Fix backslash in titles of manpages

A cludge which replaces one backslash with three in section headers when
generating manpages from xml files.