diff make-dist @ 37728:b6c4604a4e90

Copy texinfo.tex unconditionally.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 14 May 2001 16:57:20 +0000
parents 1828bb79abd9
children b3268dbead96
line wrap: on
line diff
--- 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)