GNU bug report logs - #19443
25.0.50; `info-display-manual' could limit the choice to currently visited manuals if given a prefix arg for convenience

Previous Next

Full log

Message #14 received at 19443 <at> debbugs.gnu.org (full text, mbox):

From: Filipp Gunbin <fgunbin <at> fastmail.fm>
To: Glenn Morris <rgm <at> gnu.org>
Cc: 19443 <at> debbugs.gnu.org
Subject: Re: bug#19443: 25.0.50;
 `info-display-manual' could limit the choice to currently visited
 manuals if given a prefix arg for convenience
Date: Sat, 27 Dec 2014 03:00:23 +0300

On 26/12/2014 15:37 -0500, Glenn Morris wrote:

> Filipp Gunbin wrote:
>
>> ++++
>> +** `info-display-manual' can now be given a prefix argument which (any
>> +non-nil value) directs the command to limit the choice of manual to
>> +currently visited manuals.
>
> "+++" is inappropriate since your patch includes no doc/ changes.

But etc/CONTRIBUTE says:

"Think about whether your change requires updating the documentation
(both manuals and doc-strings).  If you know it does not, mark the NEWS
entry with "---".  If you know that *all* the necessary documentation
updates have been made, mark the entry with "+++". Otherwise do not mark
it."

And I've updated the doc-string.

Am I missing something?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.