changeset 1177 | 3c00344f49c9 |
parent 1176 | cd72eae05bdf |
parent 1175 | 6b79d93e812f |
child 1178 | e5af35e6c93f |
1.1 --- a/scripts/Makefile.am Mon Jul 16 16:21:40 2018 +0200 1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 1.3 @@ -1,7 +0,0 @@ 1.4 -EXTRA_DIST += \ 1.5 - scripts/bib2dox.py \ 1.6 - scripts/bootstrap.sh \ 1.7 - scripts/chg-len.py \ 1.8 - scripts/mk-release.sh \ 1.9 - scripts/unify-sources.sh \ 1.10 - scripts/valgrind-wrapper.sh