# $1 = the line
# The formatting of this definition (e.g. the blank line above) is
# important, in order to get make to generate the right makefile code.
# $1 = the line
# The formatting of this definition (e.g. the blank line above) is
# important, in order to get make to generate the right makefile code.