diff make-dist @ 1823:c97e3a38444c

* make-dist: Don't distributed the RCS files in the etc directory.

--- a/make-dist	Tue Jan 26 03:05:54 1993 +0000
+++ b/make-dist	Tue Jan 26 04:28:27 1993 +0000
@@ -190,11 +190,7 @@
 (cd etc
  ln [0-9a-zA-Z]* ../${tempdir}/etc
  cd ../${tempdir}/etc
- ## Avoid an error when expanding the wildcards later.
- for dummy in DOC-dummy dummy~ \#dummy\# dummy.dvi dummy.log; do
-   ln MACHINES ${dummy}
- done
- rm -f DOC* *~ \#*\# *.dvi *.log core)
+ rm -f DOC* *~ \#*\# *.dvi *.log *,v core)
 
 echo "Making links to \`cpp'."
 (cd cpp