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