files are generated by configure, and not part of the tarball, so distclean would be the right place to remove them. This commit was SVN r6390.
This commit was SVN r6287.
This commit was SVN r6266.