diff --git a/build b/build index 3408b745..6831c781 100755 --- a/build +++ b/build @@ -100,7 +100,7 @@ build_release() cd "$srcdir" || $err "$vdir: !cd \"$srcdir\"" ./update trees -f rmgit . - x_ rm -Rf cache + x_ rm -Rf cache tmp x_ mv src/docs docs ) || $err "can't create release files"