# This file is created automatically by the configure shell script
# which might be called implicitly from the top level makefile.
#
# Thus, changes applied to this file might be LOST after your next
# make. If this is a concern, consider to edit the corresponding
# *.in file instead.
