On Apr 5 08:11, Chris Sutcliffe wrote: > >> >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). > > Just to summarize, I assume the man pages should now be: > > /usr/share/man/mingw/mingw-basename.mingw > /usr/share/man/mingw/mingw-dirname.mingw > > Is this correct?
I guess that would do it. Thanks, Corinna -- Corinna Vinschen Please, send mails regarding Cygwin to Cygwin Project Co-Leader cygwin AT cygwin DOT com Red Hat
