Re: manpages for X11 games?

[Hartmut Koptein <koptein@et-inf.fho-emden.de>]

Hello,

sorry for remembering (i'm following these list for only two days) but
what was the consensus for x11-manuals? 

Should they go to /usr/X11R6/man/* or not and with the extension
(man1/xxx.1x.gz) ???

My personal intention is to leave the x11 manuals where they are but
without the extension, because it's clear when they are under /usr/X11R6/man/*/*

Thanks,

       Hartmut

-- 
 Hartmut Koptein                                    EMail:
 Friedrich-van-Senden-Str. 7                        koptein@et-inf.fho-emden.de
 26603 Aurich   
 Tel.: +49-4941-10390                               koptein@debian.org