diff options
author | Gerd Moellmann <gerd@gnu.org> | 2001-05-14 16:57:20 +0000 |
---|---|---|
committer | Gerd Moellmann <gerd@gnu.org> | 2001-05-14 16:57:20 +0000 |
commit | ed07f12245fea9ec2eccf031ff48ab3cb8c3cbec (patch) | |
tree | 6c692b7cd31691add901123ef32af6485af44d6d /make-dist | |
parent | 9c0d43f3d8d1f72bd2f1ff2b9bf2cb3201c01478 (diff) | |
download | emacs-ed07f12245fea9ec2eccf031ff48ab3cb8c3cbec.tar.gz |
Copy texinfo.tex unconditionally.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
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) |