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

[Glenn Morris]

Eli Zaretskii wrote:

>   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?

Probably. Indeed this fails on fencepost:

texi2dvi -I ../emacs -I ../misc emacs-lisp-intro.texi -o eintr.dvi

(Works on my system.)