diff options
| author | Richard M. Stallman <rms@gnu.org> | 1998-11-01 00:28:00 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1998-11-01 00:28:00 +0000 |
| commit | ebd32d7b078926ccfb6980e001aff6599a15171b (patch) | |
| tree | 93b01d4beab01507ec037109c0478e49974757ef /make-dist | |
| parent | c0fdc5b71602e1a12c95a4dfbaff2530d13c03ed (diff) | |
Don't include etc/fns*.el in dist.
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make-dist b/make-dist index e9390413bf6..9535e18b7d2 100755 --- a/make-dist +++ b/make-dist @@ -484,6 +484,7 @@ echo "Making links to \`etc'" fi done cd ../${tempdir}/etc + rm -f fns*.el rm -f DOC* *~ \#*\# *.dvi *.log *.orig *.rej *,v =* core rm -f TAGS) |