diff options
| author | Gerd Moellmann <gerd@gnu.org> | 2001-05-14 16:57:37 +0000 |
|---|---|---|
| committer | Gerd Moellmann <gerd@gnu.org> | 2001-05-14 16:57:37 +0000 |
| commit | f4500bec23692b8674a45dff751dff3c3d20dfeb (patch) | |
| tree | 79a3e1439d3caacf71b1f11caff4de925ff99428 | |
| parent | 58e5af83c94b24a9c5cc37bcc1338300d25869fc (diff) | |
| download | emacs-f4500bec23692b8674a45dff751dff3c3d20dfeb.tar.gz emacs-f4500bec23692b8674a45dff751dff3c3d20dfeb.tar.bz2 emacs-f4500bec23692b8674a45dff751dff3c3d20dfeb.zip | |
Copy texinfo.tex unconditionally.
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rwxr-xr-x | make-dist | 2 |
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) |