scripts/Makefile.am
author Balazs Dezso <deba@inf.elte.hu>
Wed, 17 Mar 2010 12:35:52 +0100
changeset 876 7f6e2bd76654
permissions -rw-r--r--
Fix multiple executions in matchings (fract. mathcings) (#356)
     1 EXTRA_DIST += \
     2 	scripts/bib2dox.py \
     3 	scripts/bootstrap.sh \
     4 	scripts/chg-len.py \
     5 	scripts/mk-release.sh \
     6 	scripts/unify-sources.sh \
     7 	scripts/valgrind-wrapper.sh