poke-devel
[Top][All Lists]
Advanced

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



reply via email to

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