GNU bug report logs -
#2975
`texinfo-master-menu' doesn't work.
Previous Next
Reported by: Alan Mackenzie <acm <at> muc.de>
Date: Sun, 12 Apr 2009 21:40:06 UTC
Severity: normal
Done: Eli Zaretskii <eliz <at> gnu.org>
Bug is archived. No further changes may be made.
Full log
Message #32 received at 2975 <at> debbugs.gnu.org (full text, mbox):
On Thu, 08 Dec 2011 19:52:17 +0100
Roland Winkler wrote:
> On Thu Dec 8 2011 Eli Zaretskii wrote:
>> The simplest fix would be to remove the updating of the @node lines.
>> Would anyone object? Karl?
>
> A TeXnical question: what about using TeX to generate the output?
> To the best of my knowledge makinfo doesn't care about @node lines
> being up to date or not, it can fix them itself. Does the same hold
> for TeX?
Unless I'm missing something, you already got an answer to this question
in Eli's first reply in this thread:
---
[Roland]
> Of course, I believe that makeinfo can add the info about the node
> pointers. But what about output formats not supported by makeinfo?
> I believe that something like TeX needs them.
[Eli]
TeX doesn't need them. These pointers are there to allow traversing
the on-line manual, and are not needed for non on-line versions.
---
(Personally I found Eli's explanation confusing -- what does "on-line"
mean here? If it means HTML, makeinfo does support HTML output -- does
it mean it doesn't cope with missing node pointers in the HTML case? If
it means the standard Info manuals, then that's the principal format
supported, isn't it...)
--
Štěpán
This bug report was last modified 13 years and 224 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.