[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: Sun, 01 Mar 2020 23:34:24 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)

                  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
Ok, lets go with .doc for now.

reply via email to

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