# There is nothing to make in this directory.
# This file is here just to make "make clean" work in the parent directory.

clean:
