Paul Eggert wrote: > Perhaps both implementations should quickly exit in this situation, come > to think of it.
I agree. I've made the same mistake a number of times. There is no valid use for continuing if $destdir already exists, since the call is guaranteed to overwrite configure.ac, Makefile.am, and other files. Bruno