diff make-dist @ 13634:3db84fa28aea

(etc): Delete *.orig and *.rej.
author Richard M. Stallman <rms@gnu.org>
date Wed, 22 Nov 1995 22:45:15 +0000
parents 34c4ee840e09
children 0923c642e324
line wrap: on
line diff
--- a/make-dist	Wed Nov 22 22:23:32 1995 +0000
+++ b/make-dist	Wed Nov 22 22:45:15 1995 +0000
@@ -311,7 +311,7 @@
 (cd etc
  ln `ls -d * | grep -v 'RCS' | grep -v 'Old' | grep -v '^e$'` ../${tempdir}/etc
  cd ../${tempdir}/etc
- rm -f DOC* *~ \#*\# *.dvi *.log *,v =* core
+ rm -f DOC* *~ \#*\# *.dvi *.log *.orig *.rej *,v =* core
  rm -f TAGS)
 
 echo "Making links to \`etc/e'."