# This file gets included by the Makefile in this directory to determine
# the files that should go only into binary distributions.

BINFILES = mfp.xdd mfp_mil.xdd mfp_tt.xdd
