EXTRA_DIST += \
	tools/git-version-gen \
	tools/checkcompletion.sh \
       	tools/checkconfig.sh \
       	tools/checkdecl.sh \
      	tools/checkincludes.pl \
	tools/checkusage.sh \
       	tools/checkxalloc.sh \
	tools/checkadoc-missing.sh \
	tools/checkadoc-repeat.sh