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

From: Eli Zaretskii <[email-masked]>
Date: Wed, 09 Dec 2020 17:47:12 +0200

> From: Lars Ingebrigtsen <[email-masked]>
> Date: Wed, 09 Dec 2020 15:31:16 +0100
> Cc: [email-masked]
> 
> Jean-Christophe Helary <[email-masked]>
> 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.