# Write a warning to $1 to make clear it should not be modified. $2 is the
# source for the generated file. Also print a message to stdout that the file
# Write a warning to $1 to make clear it should not be modified. $2 is the
# source for the generated file. Also print a message to stdout that the file