[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: info -w is slow for man pages
|
From: |
Eli Zaretskii |
|
Subject: |
Re: info -w is slow for man pages |
|
Date: |
Sun, 16 Oct 2022 16:58:59 +0300 |
> From: Gavin Smith <gavinsmith0123@gmail.com>
> Date: Sun, 16 Oct 2022 14:23:27 +0100
> Cc: bug-texinfo@gnu.org
>
> I've committed more code to use "man -w" first to check if the man page
> exists, before "man -a", in commit 8520d2b4d8.
Is the -w option to 'man' portable? According to my Posix references,
it isn't.
> However, there is the risk that this breaks on some system where "man"
> works differently to mine.
Exactly.