On Apr 4 21:06, Christopher Faylor wrote: > On Wed, Apr 04, 2007 at 02:59:47PM -0400, Chris Sutcliffe wrote: > >>> Anyway, here's a thought that might be useful (unfortunately it seems to > >>> need a change to man to work nicely*); rather than prefixing pages, add > >>> them to a 'mingw' section. This way you can find them with 'man -S mingw > >>> <page>', and users that felt so inclined could add 'mingw' to their > >>MANSECT. > >> > >>This sounds like a good idea to me. > > > >I'm happy to put the man pages where ever it's decided they should be > >(or don't put them anywhere if that's the preference). As to > >modifying man, I'll leave that to the powers that be. > > > >Just let me know where I should put them (or I can remove them from > >the binary distribution, as I mentioned) and I'll gladly put together > >a new release. > > It sounds like Corinna is in agreement that they should go in the > standard location with a mingw- prefix.
Not exactly. I'd prefer to have them in their own path. I like Matthew's idea to put them into a mingw man section (/usr/share/man/mingw). Corinna -- Corinna Vinschen Please, send mails regarding Cygwin to Cygwin Project Co-Leader cygwin AT cygwin DOT com Red Hat
