# This does nothing, but some (dummy) comments here.
# If this file gets empty, it is removed by "make distclean".