On Wed, Apr 04, 2007 at 09:57:17AM -0400, Chris Sutcliffe wrote: >>>I thought it was decided to keep the MinGW Runtime man pages separate >>>from the Cygwin man pages? >> >>Yes, it was, but I don't remember concluding that putting them in >>/usr/man was the solution. Please either don't install them at all or >>put them in a mingw-specific location. > >Sorry, I must have come to the wrong conclusion. I had thought that >since Cygwin by default installs man pages to /usr/share/man >installing the MinGW specific man pages in /usr/man as long as they >were prefixed with 'mingw-' was OK. This allows users to do a 'man >mingw-dirname' without having to modify their MANPATH. > >If it's desired that they not be included, I'll produce an updated >release with them removed.
I'd rather have them available but I don't want you to invent a new top-level directory to put them in: % tar vtjf mingw-runtime-3.12-1.tar.bz2 | grep /man/ tar: Record size = 8 blocks drwxr-xr-x ironhead/Administrators 0 2007-03-26 03:01:02 usr/man/ drwxr-xr-x ironhead/Administrators 0 2007-03-26 03:04:38 usr/man/man3/ -rw-r--r-- ironhead/Administrators 8956 2007-03-26 03:04:38 usr/man/man3/basename.3 -rw-r--r-- ironhead/Administrators 8956 2007-03-26 03:04:37 usr/man/man3/dirname.3 These should be installed in usr/share/man and basename.3 should become mingw-basename.3. Ditto for dirname. cgf -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/
