0000153: toc in pdf user's guide is empty - Mercury Bugs

2024-11-22 00:25 AEDT

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000153

mercury

Bug

public

2010-06-28 14:06

2010-07-06 23:51

Reporter

juliensf

Assigned To

juliensf

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000153: toc in pdf user's guide is empty

Description

The TOC in the pdf version of the user's guide is empty.
This was reported against rotd-2010-06-23.

Tags

No tags attached.

Attached Files

Relationships

Relationships

Notes
~0000271 pbone (administrator) 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 (administrator) 2010-07-03 18:09	Committed fix to CVS.

~0000273 pbone (administrator) 2010-07-03 18:10	Julien, can you include this fix in 10.04?

~0000274 juliensf (administrator) 2010-07-06 23:51	Merged onto 10.04 branch as well.

Notes

Date Modified	Username	Field	Change
Issue History
2010-06-28 14:06	juliensf	New Issue
2010-07-03 17:57	pbone	Status	new => assigned
2010-07-03 17:57	pbone	Assigned To	=> pbone
2010-07-03 17:59	pbone	Note Added: 0000271
2010-07-03 18:09	pbone	Note Added: 0000272
2010-07-03 18:09	pbone	Assigned To	pbone => juliensf
2010-07-03 18:10	pbone	Note Added: 0000273
2010-07-06 23:51	juliensf	Note Added: 0000274
2010-07-06 23:51	juliensf	Status	assigned => resolved
2010-07-06 23:51	juliensf	Resolution	open => fixed

Issue History