Josh Berkus <josh@agliodbs.com> writes:
> True, but can you think of a better word to mean "don't edit this by hand"?
The file name is not nearly as important for that as putting in a
header comment "# Don't edit this file by hand."
regards, tom lane