# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 989859440 0
# Node ID b6c4604a4e90775839e846e24ce7b1c5f7ae6bba
# Parent  1944a7ed9138bfb2b192fe3bcbfb1144a790c896
Copy texinfo.tex unconditionally.

diff -r 1944a7ed9138 -r b6c4604a4e90 make-dist
--- a/make-dist	Mon May 14 14:56:23 2001 +0000
+++ b/make-dist	Mon May 14 16:57:20 2001 +0000
@@ -588,7 +588,7 @@
  test -f Makefile.in && ln Makefile.in ../${tempdir}/man
  ln ChangeLog ../${tempdir}/man
  test -f split-man && ln split-man ../${tempdir}/man
- test -f texinfo.tex && cp texinfo.tex ../${tempdir}/man
+ cp texinfo.tex ../${tempdir}/man
  cd ../${tempdir}/man
  rm -f \#*\# =* *~ core emacs-index* *.Z *.z xmail
  rm -f emacs.?? termcap.?? gdb.?? *.log *.toc *.dvi *.oaux)