[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Add doc command

From: Jose E. Marchesi
Subject: Re: [PATCH] Add doc command
Date: Sat, 29 Feb 2020 17:37:30 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)

         Hi John.
         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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]