Copy texinfo.tex unconditionally.
authorGerd Moellmann <gerd@gnu.org>
Mon, 14 May 2001 16:57:37 +0000 (16:57 +0000)
committerGerd Moellmann <gerd@gnu.org>
Mon, 14 May 2001 16:57:37 +0000 (16:57 +0000)
commitf4500bec23692b8674a45dff751dff3c3d20dfeb
tree79a3e1439d3caacf71b1f11caff4de925ff99428
parent58e5af83c94b24a9c5cc37bcc1338300d25869fc
Copy texinfo.tex unconditionally.
ChangeLog
make-dist