On Thu, Sep 21, 2000 at 09:49:22AM +0200, Florin Grad wrote:
> It happens to be set to /usr/share/man/ :)

Yes, right, I was more wondering about the subdirectory cat1 under
/usr/share/man.  The location for the processed man-pages is still
/var/catman, and not /usr/share/man/cat*, did I understand that correctly?

Alexander Skwar
-- 
Homepage:       http://www.digitalprojects.com | http://www.dp.ath.cx
Sichere Mail?   Mail an [EMAIL PROTECTED] fuer GnuPG Keys
ICQ:            7328191

Reply via email to