Update to a more modern version of texinfo.tex
authorJohn Darrington <john@darrington.wattle.id.au>
Sat, 10 Oct 2020 18:16:27 +0000 (20:16 +0200)
committerJohn Darrington <john@darrington.wattle.id.au>
Sat, 10 Oct 2020 18:16:27 +0000 (20:16 +0200)
commitfe0d6e3c0c9b7d326db7051ad7ba72d44e102672
treea54ef0869539214f1950a8b4316dc8895a5001bf
parent77e2017715a58c01d3e63ad90fb28b5e39eb2a31
Update to a more modern version of texinfo.tex
build-aux/texinfo.tex