diff --git a/build b/build index d1ff9e9..c34fc3b 100755 --- a/build +++ b/build @@ -95,7 +95,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"