Date: Wed, 12 Apr 1995 18:00:07 +0800 (CST) From: Brian Tao <taob@gate.sinica.edu.tw> Cc: FREEBSD-CURRENT-L <freebsd-current@FreeBSD.org> Subject: Re: /usr/share/man/cat? Message-ID: <Pine.BSI.3.91.950412175637.17594T-100000@aries.ibms.sinica.edu.tw> In-Reply-To: <9504120829.AA08757@ocegr.fr>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, 12 Apr 1995 Gert-Jan.Vons@ocegr.fr wrote:
>
> Provided the cat? directories are created and the owner and group are set
> properly, man will handle this automatically. It formats the page the first
> time you request it, and stores the preformatted version for later use.
Right, but I figured keen-eyed users might notice that their disk
space is decreasing without any apparent reason (if they don't know
about man saving preformatted pages). I thought we might consider
going all-out and formatting all the man pages at the start so the
user knows what's going on. On second thought, it would make the
manpage distribution much larger (if we provided the cat pages) or
take a heck of a long time to generate (if the installer runs catman).
In any case, I still think the cat directories should be included in
the manpage dist, if not the base binary dist.
--
Brian ("Though this be madness, yet there is method in't") Tao
taob@gate.sinica.edu.tw <-- work ........ play --> taob@io.org
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?Pine.BSI.3.91.950412175637.17594T-100000>