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

From: Stefan Monnier <[email-masked]>
Date: Sat, 27 Dec 2014 10:16:16 -0500

> "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."

The --- and +++ in etc/NEWS only relate to the manual.
The docstrings should *always* be updated right away.

        Stefan