Re: Cleaning aux files of all kinds from a dir tree?

Thanks to everyone for the help.

Olive's correction of the find command was exactly what I needed to get
it working. (I had read the find man page, btw, before posting. But
should we say it's a bit less than self-explanatory...)

Thanks also to Maurizio, Jim, and Dan for their pointers to lintex,
rubber, and the other packages---but what I needed was a much less
sophisticated brute force command.