Upgrade Texinfo from 4.8 to 4.13 on the vendor branch vendor/TEXINFO
drwxr-xr-x - contrib