did), the timestamp on this file needs to be updated or when people do a make
an unnecessary `cd . && autoheader` will be done, and not everybody has the
autoconf tools installed. The next person to change those two files (or
did), the timestamp on this file needs to be updated or when people do a make
an unnecessary `cd . && autoheader` will be done, and not everybody has the
autoconf tools installed. The next person to change those two files (or