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 [EMAIL PROTECTED], [EMAIL PROTECTED],
Debian GNU/Linux? [EMAIL PROTECTED], [EMAIL PROTECTED]
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/
