The man pages are generated from the .txt files with txt2man, which 
is basically an awk script.  

Notes from Marc Vertes <mvertes@free.fr>, author of txt2man, on how to 
format a txt2man input file.  

    To obtain an overall good formating of output document, keep paragraphs 
    indented correctly, and not starting in column 0. Also, the bold 
    sections are caused by double (or more) space characters, which are used 
    to identify an item - description paragraph type (item part will be bold 
    faced). Choose also carefully the name of command line parameters or 
    arguments, as they will be emphased each time they are encountered in 
    the document.
    
One gotcha to be aware of: don't put more than one space after a period.  

