changeset 3179:2852a2acef36

(do-install): Delete the dest dir, not the source dir, when they are different.
author Richard M. Stallman <rms@gnu.org>
date Thu, 27 May 1993 22:12:55 +0000
parents 241c63a9aaa1
children e54c45bae557
files Makefile.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.in	Thu May 27 22:02:16 1993 +0000
+++ b/Makefile.in	Thu May 27 22:12:55 1993 +0000
@@ -332,7 +332,7 @@
 	-set ${COPYDESTS} ; \
 	 for dir in ${COPYDIR} ; do \
 	   if [ `(cd $$1 ; pwd)` != `(cd $${dir} ; pwd)` ] ; then \
-	     rm -rf $${dir} ; \
+	     rm -rf $$1 ; \
 	   fi ; \
 	 done
 	-set ${COPYDESTS} ; \