Doc patch testing procedure

[Joseph S. Myers]

On Thu, 15 May 2003, Wolfgang Bangerth wrote:

> I later tried to trigger the error everybody was seeing, and I can do that 
> if I add a "make bootstrap" before the "make info". In that case, .info 
> files are actually generated, and I hit the same problem. Now, the testing 
> instructions specifically say that no bootstrap is required for doc 
> patches...

This may be related to the toplevel autoconfiscation: now the
subdirectories are only configured from "make" rather than as part of the
toplevel configuration process and maybe toplevel "make info" needs the
appropriate dependencies to get subdirectories configured.

-- 
Joseph S. Myers
jsm28@cam.ac.uk