EXTRA_DIST +=					\
build-aux/prev-version.txt			\
build-aux/cross-options.pl