1 files changed, 1 insertions, 0 deletions
diff --git a/build b/build
index d03960c6..ce778e2a 100755
--- a/build
+++ b/build
@@ -100,6 +100,7 @@ build_release()
 	cd "$srcdir" || $err "$vdir: !cd \"$srcdir\""
 	./update trees -f
 	rmgit .
+	x_ rm -Rf tmp
 	x_ mv src/docs docs
 	) || $err "can't create release files"