Hello, > Since, by current policy, all games (even X11 ones) go into /usr/games, > manual pages should also go into /usr/man.
must this discuss on debian-devel or is this the last word? If so, we can
go to change it in our gg (great-games) :-)
Bye,
Hartmut
--
Hartmut Koptein EMail:
Friedrich-van-Senden-Str. 7 [EMAIL PROTECTED]
26603 Aurich
Tel.: +49-4941-10390 [EMAIL PROTECTED]
