I've just pushed some fixes to auxiliar/doc-section.sh to staging, as
several things seemed to have gone wrong with it since I last used it. The
script is intended to be used for quickly checking changes made to the
English docs. It compiles a section of the docs to html in a minute or so
and displays that section in a browser. Far better than waiting an hour or
so (that's how long it seems to take on my laptop) for make doc to finish,
if all you want to do is check that the texinfo and the cross-refs are
valid. It now works fine on my laptop under Ubuntu. I'd be grateful if one
or two of the doc editors could check it out too, once it moves into master.
Thanks.