bug#47394: 27.2; admin.el:make-manuals infloops on HTML manuals

[Eli Zaretskii]

> From: Glenn Morris <rgm@gnu.org>
> Date: Thu, 25 Mar 2021 14:31:00 -0400
> 
> Version: 27.3
> 
> This turned out to be trivial.
> (I leave it to others to verify the results look correct.)
> 
> commit 0d7e2a993e
> 
>     admin.el fix for bug#47394
>     
>     * admin/admin.el (manual-html-fix-index-2): Handle Texinfo 6.7.

Thanks.  I've run the updated script, it goes much further, but
eventually dies with

  ...
  Saving file /home/e/eliz/git/emacs/pretest/manual/html_mono/eintr.html...
  Wrote /home/e/eliz/git/emacs/pretest/manual/html_mono/eintr.html
  Removing old name: no such file or directory, 
/home/e/eliz/git/emacs/pretest/manual/ps/eintr.dvi
  make-manuals: error running make-manuals

What does it mean? that TeX barfed producing eintr.dvi?  There's no
other error message or diagnostics anywhere in sight.