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

[Eli Zaretskii]

> Date: Thu, 8 Dec 2011 20:59:57 +0100
> From: "Štěpán Němec" <stepnem@gmail.com>
> Cc: Štěpán Němec <stepnem@gmail.com>,
>       winkler@gnu.org, 2975@debbugs.gnu.org, karl@freefriends.org
> 
> > 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.