> > Obviously I can work around this, but it would seem to me to be better
> > to have the kernel configurators generate .config files like this:
> > 
> > #
> > # Automatically generated make config: don't edit
> > #
> > 
> > #
> > # Very general options
> > #
> > [Very general options]
> 
> [snip]
> 
> John,
> 
> AFAIK all you have to do to make this reality is add a "comment" clause
> where you need it.

Excellent...

John.