BASH_TOOLS = \
	Bash/bash_completion

EXTRA_DIST += ${BASH_TOOLS}
#bin_SCRIPTS += ${BASH_TOOLS}