1 files changed, 0 insertions, 1 deletions
diff --git a/mk b/mk
index 8884d61e..312ffce3 100755
--- a/mk
+++ b/mk
@@ -68,7 +68,6 @@ build_release()
 	cd "$srcdir" || $err "$vdir: !cd \"$srcdir\""
 
 	./mk -f
-	x_ rm -Rf tmp
 	rmgit .
 	x_ mv src/docs docs
 	) || $err "can't create release files"