Use a newer texinfo.tex.

1 files changed, 7 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index cc4f4af..6e72ed0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2019-02-10  Bruno Haible  <bruno@clisp.org>
+
+	Use a newer texinfo.tex.
+	* autogen.sh (TEXINFO_VERSION): Bump to 6.5.
+	Fetch texinfo.tex from the texinfo git repository instead of the
+	obsolete texinfo CVS repository.
+
 2019-02-04  Bruno Haible  <bruno@clisp.org>
 
 	Remove left-over empty directories in 'make distclean'.