bug#38817: 27.0.50; eintr file name discrepency in HTML

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Wed, 09 Dec 2020 15:31:16 +0100
> Cc: 38817@debbugs.gnu.org
> 
> Jean-Christophe Helary <jean.christophe.helary@traduction-libre.org>
> writes:
> 
> > The HTML version of the Emacs manual has a link to "eintr.html" when
> > the HTML version of the "Introduction" created by the "make docs" is
> > named emacs-lisp-intro.html
> 
> Yes:
> 
> HTML_TARGETS = emacs-lisp-intro.html
> 
> But the manual is at:
> 
> https://www.gnu.org/software/emacs/manual/eintr.html
> 
> So I don't know what's up with that.  Anybody?

Evidently, whoever produced the HTML version of the manual didn't use
the Makefile rule.