Delete build directory if it exists.

diff --git a/v7/dist/make-doc-files b/v7/dist/make-doc-files
index dee5ad4b8a004ee280daa7f8531e3e817a1dd7d1..b4231b8ab52b68eb307e83e4d38069180fefd580 100755 (executable)
--- a/v7/dist/make-doc-files
+++ b/v7/dist/make-doc-files
@@ -2,6 +2,7 @@
 
 prefix=`/scheme/v7/dist/release-prefix`
 tldir=${prefix}/doc
+rm -rf ${prefix}
 mkdir ${prefix}
 mkdir ${tldir}
 

diff --git a/v7/dist/make-src-files b/v7/dist/make-src-files
index 7cbdcf2be53f5cb7ef3a451cb208179c6e23f4ce..e0ae3674fd4b2cecac94ab5af243a9137fc410ea 100755 (executable)
--- a/v7/dist/make-src-files
+++ b/v7/dist/make-src-files
@@ -1,6 +1,7 @@
 #!/bin/sh
 
 prefix=`/scheme/v7/dist/release-prefix`
+rm -rf ${prefix}
 mkdir ${prefix}
 source=/scheme/v7/src
 destination="${prefix}/src"