does anyone on the list here happen to know what tool or tools are used to generate man pages from sources (even to creating them from scratch if need be)?