From 52e8c7119f37676a3bfd1587487224a4bf6777b0 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Thu, 21 Dec 2000 21:56:23 +0000
Subject: [PATCH] Delete configured makefile in "distclean" rule.

---
 v7/src/etc/Clean.sh | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/v7/src/etc/Clean.sh b/v7/src/etc/Clean.sh
index b48db6c27..3b534aff4 100755
--- a/v7/src/etc/Clean.sh
+++ b/v7/src/etc/Clean.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# $Id: Clean.sh,v 1.4 2000/12/08 06:07:23 cph Exp $
+# $Id: Clean.sh,v 1.5 2000/12/21 21:56:23 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -34,7 +34,13 @@ else
 fi
 
 case "${COMMAND}" in
-mostlyclean | clean | distclean)
+mostlyclean | clean)
+    ;;
+distclean)
+    if [ -f Makefile.in ] && [ -f Makefile ]; then
+	echo "rm Makefile"
+	rm Makefile
+    fi
     ;;
 maintainer-clean)
     for FN in .edwin-ffi Clean.sh Makefile Setup.sh Stage.sh Tags.sh; do
-- 
2.25.1