On Thu, Feb 13, 2025 at 05:50:12PM +0100, David Hoppenbrouwers wrote:
> On 13/02/2025 17:43, Hendrik Boom wrote:
> > What is the type command?
> > When I ask
> > man type
> > I get information about a DOS compatibility layer, which this
> > appears not to be.
>
> help type
So there are two separate command documentation systems -- help and man.
-- hendrik