Re: first commit from me.

[Ken Hornstein]

>  Do we have a notion if we are using autoconf2.13, or autoconf2.5?

Just FYI, we're (going to be) using autoconf 2.52 (unless something newer
comes out, or has come out already).

--Ken