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