diff --git a/tools/gendist b/tools/gendist index ce7dbe44..80def5ca 100755 --- a/tools/gendist +++ b/tools/gendist @@ -5,7 +5,9 @@ # set -e -[ -f Makefile ] && make distclean +autoconf +./configure +make distclean autoconf ( cd doc ; make docs ; make clean ) VERSION=`sed