Re: manpages for X11 games?

[Christian Schwarz <schwarz@monet.m.isar.de>]

We still haven't reached a consensus about where to install manual pages
for X11 games. I still think that it's counter-logical to install manual
pages into /usr/X11R6/man if the documented binaries/headers/whatever are
installed outside the /usr/X11R6 hierarchy. 

Now, I've found another argument for my standpoint :) The
/etc/manpath.config file defines how $PATH values are mapped to $MANPATH
values. It contains:

[...]
MANPATH_MAP     /usr/X11R6/bin          /usr/X11R6/man
MANPATH_MAP     /usr/bin/X11            /usr/X11R6/man
MANPATH_MAP     /usr/games              /usr/man
[...]

Since, by current policy, all games (even X11 ones) go into /usr/games,
manual pages should also go into /usr/man.

(At least, if the consensus should be the contrary, we should fix
/etc/manpath.config ;-)

Any more opinions on this?


Thanks,

Chris

--                 Christian Schwarz
Do you know         schwarz@monet.m.isar.de, schwarz@schwarz-online.com,
Debian GNU/Linux?    schwarz@debian.org, schwarz@mathematik.tu-muenchen.de
      
Visit                  PGP-fp: 8F 61 EB 6D CF 23 CA D7  34 05 14 5C C8 DC 22 BA
http://www.debian.org   http://fatman.mathematik.tu-muenchen.de/~schwarz/