Dear Gavin,
I fixed it a different way which appears to work for more cases, in commit d5666eb16. I am uploading a new version to ftp.gnu.org.
Many thanks for your great work. texinfo.tex 2020-05-22.11 worked fine for texi2dvi --verbose dvips.texi Thanks, Akira
