2 files changed, 5 insertions, 1 deletions

diff --git a/ChangeLog b/ChangeLog
index 75768f8291c..0dd1d146cd7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2001-05-14  Gerd Moellmann  <gerd@gnu.org>
+
+        * make-dist: Copy texinfo.tex unconditionally.
+
 2001-04-25  Eli Zaretskii  <eliz@is.elta.co.il>
 
         * Makefile.in (install-arch-indep): Add gfdl.1 to the man pages
diff --git a/make-dist b/make-dist
index a8247415ab7..f374dc3c5f5 100755
--- a/make-dist
+++ b/make-dist
@@ -588,7 +588,7 @@ echo "Making links to \`man'"
  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)