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: 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]