BASH_TOOLS = \
	Bash/bash_completion

EXTRA_DIST += Bash/bash_completion
CLEANFILES += ${BASH_TOOLS}
bin_SCRIPTS += ${BASH_TOOLS}