# Print the header.
echo "#"
echo "# This is a ${what}."
- echo "# THIS FILE IS AUTOMATICALLY GENERATED AND WILL OVERWRITE"
- echo "# ANY CUSTOM CHANGES!"
+ echo "# THIS FILE IS AUTOMATICALLY GENERATED AND"
+ echo "# ANY CUSTOM CHANGES WILL BE OVERWRITTEN!"
echo "#"
echo "# $(date -u)"
echo "#"