Re: Proposal to remove catman(8)

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Tue, 10 Nov 2020 14:13:04 -0500 (EST)
    From:        Mouse <mouse%Rodents-Montreal.ORG@localhost>
    Message-ID:  <202011101913.OAA19367%Stone.Rodents-Montreal.ORG@localhost>

  | I certainly don't see any reason kre shouldn't name catpages with a
  | manual-section suffix, if that works for him.

It wasn't due to any specific preference for names, that was just
easiest to try first, and it worked, so ...

  | Even if man(1) doesn't understand it

It does.

If it hadn't worked in the form I sent to the list (which was the
first I tried) I would have looked to find out why, and fixed it
before sending the message.

kre