Death to configure.frag

[Joseph S. Myers]

On Thu, 28 Aug 2003, Zack Weinberg wrote:

> The new requirement to use GNU Make means that we can count on make
> understanding a very general 'include' mechanism, and that completely
> eliminates the need for configure.frag.

There's a brief mention of configure.frag in sourcebuild.texi that can go
away.  The description of the construction of the Makefile in "Files 
Created by configure" also needs updating.

-- 
Joseph S. Myers
jsm@polyomino.org.uk