Re: Bug#8106: `undocumented' manpage
On 18 Mar 1997, Chris Walker wrote:
> Back in the mists of time, I recall a discussion of this, and I
> thought that the decision was to used undocumented.7. IIRC, the
> reasoning behind this was that the compressed version would need to be
> decompressed and cached for each page, thus taking time and a small
> amount of disk space. Have I got this wrong?
I've tested that. man only creates a cat7/undocumented.7.gz.
> This does appear to have changed recently though as my (stable) system
> has /usr/man/man7/undocumented.7 and not /usr/man/man7/undocumented.7.gz
>
> You are however correct in asserting that policy states to make a link
> to undocumented.7.gz. Can you tell me why it was decided to switch (or
> even better point me at the discussion).
I took the manpages package and read the policy. And I did what the
policy expects...
--
Nicolás Lichtmaier.- | From Buenos Aires,
nick@feedback.com.ar | Argentina!
Reply to: