(I received the following suggestion by private mail. Thanks, Matt. - Julian.)
The first thing that springs to mind here is DocBook XML[0]. There are stylesheets[1] that can convert the same DocBook XML source files into TexInfo and man page formats. The stylesheets at [2] don't have support for TexInfo, though they do support outputting man pages. I've not used the man page specific stylesheets, but have had great success in generating HTML and PDF using the docbook-xsl package. Regards, Matt Burgess [0]http://docbook.org/ [1]http://docbook2x.sourceforge.net/ [2]http://sourceforge.net/projects/docbook/
