AUTOMAKE_OPTIONS = gnu
DISTCHECK_CONFIGURE_FLAGS = --enable-gtk-doc
-EXTRA_DIST = bootstrap COPYING INSTALL NEWS README README.IEEE TODO AUTHORS ChangeLog ChangeLog.debian\
+EXTRA_DIST = bootstrap COPYING INSTALL NEWS README README.IEEE TODO AUTHORS ChangeLog \
acmacro/aci.m4 \
tools/gras-check-arch tools/compile-remote-worker.in \
tools/MSG_visualization tools/platform_generation \