[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add doc command
|
From: |
John Darrington |
|
Subject: |
Re: [PATCH] Add doc command |
|
Date: |
Sat, 29 Feb 2020 17:51:12 +0100 |
|
User-agent: |
Mutt/1.10.1 (2018-07-13) |
On Sat, Feb 29, 2020 at 05:37:30PM +0100, Jose E. Marchesi wrote:
This is nice, but I think it would be better to call the command
.info
instead of .doc. WDYT?
I think so too. But unfortunately that name is already taken :(
Oh true. What about .manual then? I feel that .doc is too generic for
something like this.
I don't particularly like "manual" either. It's the opposite of
"automatic".
J'