Re: Separate compilation: Circumventing the speed hit of Texinfo-5

[Karl Berry]

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