[wish] Could man/Makefile be rewritten to include/Make/Man.make ? This would help to obtain a (almost) functional "make install" target. My Makefile skills are unfortunately too limited... Markus