... btw, can we get away with making the diff run be "diff -upd"not just "diff -u"? I find diff output for C files noticeablymore useful with those options, but I'm unsure about theirportability.
regards, tom lane