diff options
| author | Gerd Moellmann | 2001-05-14 16:57:37 +0000 |
|---|---|---|
| committer | Gerd Moellmann | 2001-05-14 16:57:37 +0000 |
| commit | f4500bec23692b8674a45dff751dff3c3d20dfeb (patch) | |
| tree | 79a3e1439d3caacf71b1f11caff4de925ff99428 /make-dist | |
| parent | 58e5af83c94b24a9c5cc37bcc1338300d25869fc (diff) | |
| download | emacs-f4500bec23692b8674a45dff751dff3c3d20dfeb.tar.gz emacs-f4500bec23692b8674a45dff751dff3c3d20dfeb.zip | |
Copy texinfo.tex unconditionally.
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -588,7 +588,7 @@ echo "Making links to \`man'" | |||
| 588 | test -f Makefile.in && ln Makefile.in ../${tempdir}/man | 588 | test -f Makefile.in && ln Makefile.in ../${tempdir}/man |
| 589 | ln ChangeLog ../${tempdir}/man | 589 | ln ChangeLog ../${tempdir}/man |
| 590 | test -f split-man && ln split-man ../${tempdir}/man | 590 | test -f split-man && ln split-man ../${tempdir}/man |
| 591 | test -f texinfo.tex && cp texinfo.tex ../${tempdir}/man | 591 | cp texinfo.tex ../${tempdir}/man |
| 592 | cd ../${tempdir}/man | 592 | cd ../${tempdir}/man |
| 593 | rm -f \#*\# =* *~ core emacs-index* *.Z *.z xmail | 593 | rm -f \#*\# =* *~ core emacs-index* *.Z *.z xmail |
| 594 | rm -f emacs.?? termcap.?? gdb.?? *.log *.toc *.dvi *.oaux) | 594 | rm -f emacs.?? termcap.?? gdb.?? *.log *.toc *.dvi *.oaux) |