From 6c486684a93ebf9e16829ed8854b030b27f4fd6c Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Tue, 1 Feb 2000 04:18:21 +0000
Subject: [PATCH] Delete build directory if it exists.

---
 v7/dist/make-doc-files | 1 +
 v7/dist/make-src-files | 1 +
 2 files changed, 2 insertions(+)

diff --git a/v7/dist/make-doc-files b/v7/dist/make-doc-files
index dee5ad4b8..b4231b8ab 100755
--- 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 7cbdcf2be..e0ae3674f 100755
--- 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"
-- 
2.25.1