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 koptein@et-inf.fho-emden.de
26603 Aurich
Tel.: +49-4941-10390 koptein@debian.org