Hm, just noticed another little annoyance: CVS is going to complain about
the objfiles.txt files unless we add a .cvsignore entry to every last
subdirectory of the backend. That seems like a lot of maintenance
tedium. I wonder if there's another way, such as using a file name that
CVS is already programmed to ignore.
regards, tom lane