diff make-dist @ 111873:2e087a5593f8

* make-dist: Exclude etc/*.pyc.
author Glenn Morris <rgm@gnu.org>
date Fri, 10 Dec 2010 18:30:29 -0800
parents ced73eea562f
children 417b1e4d63cd c428fb33aede
line wrap: on
line diff
--- a/make-dist	Sat Dec 11 01:27:14 2010 +0000
+++ b/make-dist	Fri Dec 10 18:30:29 2010 -0800
@@ -441,7 +441,7 @@
 echo "Making links to \`etc' and its subdirectories"
 for f in `find etc -type f`; do
   case $f in
-    etc/DOC*) continue ;;
+    etc/DOC*|etc/*.pyc) continue ;;
   esac
   ln $f $tempdir/$f
 done