Stefan - it is not a solution, but a partial workaround that ocurred to me that the doc writers could do right now is to run makeinfo directly on the changed file. The --no-validate option will avoid the useless warnings about xref's to nodes in other files. As in: makeinfo --no-validate control.texi
The result for me is a single warning: control.texi: warning: document without Top node (It would be possible to get rid of that too, but who cares.) I realize that many times changes will be made in multiple files and thus it'd be necessary to run the whole manual, but ... just thought I'd mention it. karl
