Please Upload: mingw-runtime-3.12-2 (gold stars for Volker and Chris)

[Chris Sutcliffe]

> There does seem to be an issue though:
>
> ironhead@EUSD002605 /usr/share/man/mingw
> $ ls
> basename.mingw  dirname.mingw
>
> ironhead@EUSD002605 /usr/share/man/mingw
> $ man mingw basename
> No entry for basename in section mingw of the manual
>
> ironhead@EUSD002605 /usr/share/man/mingw
> $ man -v
> man, version 1.6e

I found the problem.  man is expecting manmingw not mingw (for the
section), so what it's looking for is:

/usr/share/man/manmingw/basename.mingw
/usr/share/man/manmingw/dirname.mingw

not

/usr/share/man/mingw/basename.mingw
/usr/share/man/mingw/dirname.mingw

Which makes sense really, given how the existing sections work.
Should I make a new release to work in this fashion, or should man be
modified?

Chris

-- 
Chris Sutcliffe
http://ir0nh34d.googlepages.com
http://ir0nh34d.blogspot.com
http://emergedesktop.org