View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000290 | mercury | Bug | public | 2013-06-19 17:27 | 2014-01-22 12:17 | ||||
Reporter | juliensf | ||||||||
Assigned To | pbone | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | |||||||||
Target Version | Fixed in Version | ||||||||
Summary | 0000290: texinfo comments on PDF reference manual title page | ||||||||
Description | The following appears in the top LH corner of the PDF version of the reference manual: @c vim: expandtab It shouldn't be there. | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
juliensf (administrator) 2013-06-19 17:35 |
This is for the version linked from the webpage. Also, the TOC is missing. |
juliensf (administrator) 2013-06-19 17:47 |
There are also quite a few broken links in the PDF version, see for example section 2.3. |
pbone (administrator) 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. |
juliensf (administrator) 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. |
juliensf (administrator) 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. |
pbone (administrator) 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? |
juliensf (administrator) 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.) |
juliensf (administrator) 2014-01-07 16:10 |
Paul: Everything now looks alright -- you can go ahead and close this, if you're done. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2013-06-19 17:27 | juliensf | New Issue | |
2013-06-19 17:35 | juliensf | Note Added: 0000540 | |
2013-06-19 17:47 | juliensf | Note Added: 0000541 | |
2013-06-19 17:51 | pbone | Note Added: 0000542 | |
2013-06-24 11:53 | juliensf | Note Added: 0000544 | |
2013-06-24 12:02 | juliensf | Assigned To | => pbone |
2013-06-24 12:02 | juliensf | Status | new => assigned |
2013-06-24 12:03 | juliensf | Note Added: 0000545 | |
2014-01-07 14:57 | pbone | Note Added: 0000594 | |
2014-01-07 15:18 | juliensf | Note Added: 0000596 | |
2014-01-07 16:10 | juliensf | Note Added: 0000597 | |
2014-01-22 12:17 | pbone | Status | assigned => closed |
2014-01-22 12:17 | pbone | Resolution | open => fixed |