Mercury Bugs - mercury
View Issue Details
0000153mercuryBugpublic2010-06-28 14:062010-07-06 23:51
Reporterjuliensf 
Assigned Tojuliensf 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000153: toc in pdf user's guide is empty
DescriptionThe TOC in the pdf version of the user's guide is empty.
This was reported against rotd-2010-06-23.
TagsNo tags attached.
Attached Files

Notes
(0000271)
pbone   
2010-07-03 17:59   
This is caused when the user_guide.pdf make rule is executed
before the user_guide.dvi_log rule. pdftexi executes tex only once, therefore
it is not able to generate the TOC. Executing the .dvi_log rule before the
.pdf rule solves this problem because texinfo (used to create the .dvi) runs
tex the correct number of times.
(0000272)
pbone   
2010-07-03 18:09   
Committed fix to CVS.
(0000273)
pbone   
2010-07-03 18:10   
Julien, can you include this fix in 10.04?
(0000274)
juliensf   
2010-07-06 23:51   
Merged onto 10.04 branch as well.

Issue History
2010-06-28 14:06juliensfNew Issue
2010-07-03 17:57pboneStatusnew => assigned
2010-07-03 17:57pboneAssigned To => pbone
2010-07-03 17:59pboneNote Added: 0000271
2010-07-03 18:09pboneNote Added: 0000272
2010-07-03 18:09pboneAssigned Topbone => juliensf
2010-07-03 18:10pboneNote Added: 0000273
2010-07-06 23:51juliensfNote Added: 0000274
2010-07-06 23:51juliensfStatusassigned => resolved
2010-07-06 23:51juliensfResolutionopen => fixed