diff make-dist @ 3155:b18adae0a424

Don't forget to remove temporary files.

--- a/make-dist	Thu May 27 00:21:21 1993 +0000
+++ b/make-dist	Thu May 27 01:12:16 1993 +0000
@@ -95,6 +95,7 @@
   echo "The following .elc files have no corresponding .el files:"
   echo "${bogosities}"
 fi
+rm -f /tmp/el /tmp/elc
 
 echo "Creating staging directory: \`${tempparent}'"
 mkdir ${tempparent}