summaryrefslogtreecommitdiff
path: root/build
diff options
context:
space:
mode:
Diffstat (limited to 'build')
-rwxr-xr-xbuild1
1 files changed, 1 insertions, 0 deletions
diff --git a/build b/build
index d03960c6..b1b0f40d 100755
--- a/build
+++ b/build
@@ -100,6 +100,7 @@ build_release()
cd "$srcdir" || $err "$vdir: !cd \"$srcdir\""
./update trees -f
rmgit .
+ x_ rm -Rf hash repo
x_ mv src/docs docs
) || $err "can't create release files"