diff options
Diffstat (limited to 'build')
| -rwxr-xr-x | build | 2 | 
1 files changed, 1 insertions, 1 deletions
| @@ -100,7 +100,7 @@ build_release()  	cd "$srcdir" || $err "$vdir: !cd \"$srcdir\""  	./update trees -f  	rmgit . -	x_ rm -Rf cache +	x_ rm -Rf cache tmp  	x_ mv src/docs docs  	) || $err "can't create release files" | 
