EXTRA_DIST += \ scripts/bib2dox.py \ scripts/bootstrap.sh \ scripts/chg-len.py \ scripts/mk-release.sh \ scripts/unify-sources.sh \ scripts/valgrind-wrapper.sh