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)

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'"
484	fi	484	fi
485	done	485	done
486	cd ../${tempdir}/etc	486	cd ../${tempdir}/etc
		487	rm -f fns*.el
487	rm -f DOC* ~ \#\# .dvi .log .orig .rej ,v = core	488	rm -f DOC* ~ \#\# .dvi .log .orig .rej ,v = core
488	rm -f TAGS)	489	rm -f TAGS)
489		490