On Thu, 19 Aug 1999, Taco Hoekwater wrote: > In that case, at least DJGPP has a port of man and > groff to create the formatted pages). Correction: the version of `man' that is part of DJGPP is not a port, it is a clone that was written from scratch. I'm not aware of any version of Unix `man' whose sources are free software, that's why it was necessary to write a clone.