Re: config files substitution with awk

[Karl Berry]

    faster substitution of variables.

Thanks to both you and Paul for the info.

    FWIW, I am working on a larger change to the list of makefile and
    installation utilities in standards.texi.  If you want to wait, I
    can try to finish it this weekend.

I will wait, no problem.  Minimizing msgs to rms is always desirable.