Subject: Re: bug#2975: texinfo-master-menu and emacs.texi

From: Eli Zaretskii <[email-masked]>
Date: Fri, 09 Dec 2011 09:30:10 +0200

> Date: Thu, 8 Dec 2011 20:59:57 +0100
> From: "Štěpán Němec" <[email-masked]>
> Cc: Štěpán Němec <[email-masked]>,
> 	[email-masked], [email-masked], [email-masked]
> 
> > makeinfo does not need these pointers in the Texinfo sources to
> > produce them in any of its outputs that are meant for on-line
> > browsing.  That includes HTML (and Info, of course).
> 
> Thank you for the clarification. Wouldn't it be even clearer (and
> simpler) to say that makeinfo just never needs those pointers?

It would, if it were true.  But it isn't, see my other mail.