Re: [PATCH] Allow compilation-next-error-function to leave code line highlighted until next command is typed

[Richard Stallman]

    Mentioning the changes in etc/NEWS is ok, but I can't find a place in
    the Emacs Manual where new options `next-error-highlight' and
    `next-error-highlight-no-select' should be documented.

It would be in the node Compilation Mode, in building.texi, if
anywhere.  But maybe they are not important enough to be mentioned in
the manual.  I am not insisting.


The first 4 nodes in building.texi need to be thoroughly reviewed
for obsolete statements and for other important things that should
be added.  Can someone thoroughly familiar with the new compilation
code volunteer to do that?