> What command can we agree on to leave only the files listed in MANIFEST > and no other files? It used to be that 'distclean' did that, but no more.
Just from experience, "make clean" should remove any files that make created, and I believe that "make realclean" should remove everything that wasn't there after unpacking/checkout. Given that, perhaps for our purposes, "make realclean" should remove all of the files not listed in MANIFEST? Grant M.