Jason Tishler
Wed May 14 13:34:00 GMT 2003


On Wed, May 14, 2003 at 02:46:25PM +0200, Corinna Vinschen wrote:
> On Wed, May 14, 2003 at 08:38:54AM -0400, Jason Tishler wrote:
> > > - Remove the empty /usr/man/cat* directories.
> > 
> > Why?  Without the cat* directories man will not cache formatted
> > output.
> Not one package is creating these dirs.

Really?  I found four packages, but I won't tell you which ones. :,)

> *Iff* any package should actually create them, it would be the man
> package, isn't it?

Agreed, but it wouldn't know which ones to create.  Plus, I was
reluctant to generate more work for the man maintainer...


PGP/GPG Key: or key servers
Fingerprint: 7A73 1405 7F2B E669 C19D  8784 1AFD E4CC ECF4 8EF6

More information about the Cygwin-apps mailing list