Texinfo 7.3 released

We have released version 7.3 of Texinfo, the GNU documentation format. It's available via a mirror (xz is much smaller than gz, but gz is available too just in case): https://ftpmirror ... exinfo-7.3.tar.xz https://ftpmirror ... exinfo-7.3.tar.gz Please send any comments to bug-texinfo@gnu.org. Full announcement: https://lists.gnu ... -03/msg00007.html