On Mar 23, 2007, at 3:00 PM, Kevin Ballard wrote:

It probably should. I didn't think of that. Feel free to fix it.

Fixed in r23083 and merged to 1.4 in r23084.

I assume clean removes the other configure-generated files, yes?

The clean target cleans build products, distclean calls clean and then removes autoconf generated files (I followed that rule in the registry1.0's Makefile). -jmpp