> >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?

Thanx!

Chris

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

Reply via email to