Mercury Bugs - mercury
View Issue Details
0000290mercuryBugpublic2013-06-19 17:272014-01-22 12:17
Reporterjuliensf 
Assigned Topbone 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000290: texinfo comments on PDF reference manual title page
DescriptionThe following appears in the top LH corner of the PDF version of the reference manual:

    @c vim: expandtab

It shouldn't be there.
TagsNo tags attached.
Attached Files

Notes
(0000540)
juliensf   
2013-06-19 17:35   
This is for the version linked from the webpage. Also, the TOC is missing.
(0000541)
juliensf   
2013-06-19 17:47   
There are also quite a few broken links in the PDF version, see for example section 2.3.
(0000542)
pbone   
2013-06-19 17:51   
If this happens on the website but doesn't happen when you type 'make' in the doc/ directory then the problem is with the 'make webpage.tar.gz' target, as that's what I'm using to generate the docs for the website.
(0000544)
juliensf   
2013-06-24 11:53   
Paul: the webpage.tar.gz target just uses the pdf target. The latter two problems (the broken references
and the missing TOC) don't occur on my laptop. This suggest that the problem is on the machine you are building on.
(0000545)
juliensf   
2013-06-24 12:03   
I've committed a fix for the original problem; Paul, I think there is a problem with the machine you are building the webpage docs on, so you will need to look into this.
(0000594)
pbone   
2014-01-07 14:57   
This has been fixed. However in a comment attached to this bug Julien reported that there are some broken links. Julien, is that still a problem?
(0000596)
juliensf   
2014-01-07 15:18   
Newer versions of texinfo on my laptop report a bunch of problems in the documentation
sources -- I'll get back to this one after I've looked into them. (They may be the problem.)
(0000597)
juliensf   
2014-01-07 16:10   
Paul: Everything now looks alright -- you can go ahead and close this, if you're done.

Issue History
2013-06-19 17:27juliensfNew Issue
2013-06-19 17:35juliensfNote Added: 0000540
2013-06-19 17:47juliensfNote Added: 0000541
2013-06-19 17:51pboneNote Added: 0000542
2013-06-24 11:53juliensfNote Added: 0000544
2013-06-24 12:02juliensfAssigned To => pbone
2013-06-24 12:02juliensfStatusnew => assigned
2013-06-24 12:03juliensfNote Added: 0000545
2014-01-07 14:57pboneNote Added: 0000594
2014-01-07 15:18juliensfNote Added: 0000596
2014-01-07 16:10juliensfNote Added: 0000597
2014-01-22 12:17pboneStatusassigned => closed
2014-01-22 12:17pboneResolutionopen => fixed