Some two weeks ago, I told Bradley Kuhn that I preprocess my own
texinfo documentation to extract manual pages.
Thanks very much for writing. I agree with you that putting man pages
into texinfo sources is nontrivial and not necessarily the ideal method.
The best approach to building man pages that I know of is to use the
help2man program to convert --help into a man page. Unlike texinfo
manuals, it's actually straightforward to produce a good man page from
--help. It has the added benefit of making --help texts be more
standardized too, and contain more information. I use this for texinfo,
Jim Meyering uses it for the *utils, etc. (help2man is on prep.)
K