Please Upload: mingw-runtime-3.12-2

[Igor Peshansky]

On Fri, 6 Apr 2007, Christopher Faylor wrote:

> On Fri, Apr 06, 2007 at 04:18:39PM +0200, Dr. Volker Zell wrote:
> >>>>>> Christopher Faylor writes:
> >
> >    > On Thu, Apr 05, 2007 at 04:49:02PM -0400, Chris Sutcliffe wrote:
> >    >> As discussed, I've modified the man page locations as follows:
> >    >>
> >    >> $ tar jtvf mingw-runtime-3.12-2.tar.bz2 | grep man
> >    >> drwxr-xr-x csutclif/Administrators      0 2007-04-05 14:35:49 usr/share/man/
> >    >> drwxr-xr-x csutclif/Administrators      0 2007-04-05 14:35:55
> >    >> usr/share/man/mingw/
> >    >> -rw-r--r-- csutclif/Administrators   8956 2007-04-05 14:35:55
> >    >> usr/share/man/mingw/mingw-basename.mingw
> >    >> -rw-r--r-- csutclif/Administrators   8956 2007-04-05 14:35:55
> >    >> usr/share/man/mingw/mingw-dirname.mingw
> >
> >With the newly released man-1.6e-1, I added mingw to MANSECT in
> >man.conf.
> >
> >The naming should be
> >
> >/usr/share/man/manmingw/dirname.mingw
> >/usr/share/man/manmingw/basename.mingw
> >
> >for man -S mingw <manpage> to find it.
> >
> >    > Sorry but I don't think we're there yet.
> >
> >    > If you're going to put these in their own section then I don't think
> >    > they need the mingw- prefix.  I was only thinking that would be
> >    > necessary if the manpages were going to be living in /usr/share/man/man1.
> >
> >    > If they are going into their own section then I'd like the manpage
> >    > maintainer to add mingw to the list of searchable sections.
>
> Thank you, Volker.
>
> Can I get a gold star over here for Chris and Volker for this nice
> coordination of efforts?

Done.
	Igor
-- 
				http://cs.nyu.edu/~pechtcha/
      |\      _,,,---,,_	    pechtcha@cs.nyu.edu | igor@watson.ibm.com
ZZZzz /,`.-'`'    -.  ;-;;,_		Igor Peshansky, Ph.D. (name changed!)
     |,4-  ) )-,_. ,\ (  `'-'		old name: Igor Pechtchanski
    '---''(_/--'  `-'\_) fL	a.k.a JaguaR-R-R-r-r-r-.-.-.  Meow!

Freedom is just another word for "nothing left to lose"...  -- Janis Joplin