diff options
author | Glenn Morris <rgm@gnu.org> | 2010-12-10 18:32:10 -0800 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2010-12-10 18:32:10 -0800 |
commit | 7470c6f07f7df4a9ac4079753591477abb46c867 (patch) | |
tree | 4216a16ae6dd28fb9b8d8c6313bb686e64f70661 /make-dist | |
parent | 0b9fc69a7651c4a36ab4616f5f7d1c2f48fed783 (diff) | |
download | emacs-7470c6f07f7df4a9ac4079753591477abb46c867.tar.gz |
[Backport from trunk]: * make-dist: Exclude etc/*.pyc.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-dist b/make-dist index 5e81da5d70f..fe022f523f1 100755 --- a/make-dist +++ b/make-dist @@ -602,7 +602,7 @@ echo "Making links to \`etc'" fi done cd ../${tempdir}/etc - rm -f fns*.el + rm -f fns*.el *.pyc rm -f DOC* *~ \#*\# *.dvi *.log *.orig *.rej *,v =* core rm -f TAGS) |