# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 817080315 0
# Node ID 3db84fa28aead5b6db8c5a640dda0d8670c0a1bf
# Parent  3fa66bb82d595812186cbaf1b22c26865bf27810
(etc): Delete *.orig and *.rej.

diff -r 3fa66bb82d59 -r 3db84fa28aea make-dist
--- 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'."