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