| View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0001082 | Frama-C | Kernel > Makefile | public | 2012-02-06 14:48 | 2014-02-12 16:58 |
|
| Reporter | Anne | |
| Assigned To | signoles | |
| Priority | normal | Severity | trivial | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | | |
| Target Version | | Fixed in Version | Frama-C Oxygen-20120901 | |
|
| Summary | 0001082: Bad links in generated documentation modules.svg |
| Description | There is an error in [share/Makefile.common] in the rule .dot -> .svg
that makes the links incorrect in the generated SVG.
Solution in line 275:
$(ISED) -e "s/\(digraph .*\)/\1 node [href=\"\\N.html\"];/" $<
should be transformed into:
$(ISED) -e "s/\(digraph .*\)/\1 node [href=\"\\\\N.html\"];/" $<
in order to write "\N.html" instead of "N.html" in the dot file.
|
| Tags | No tags attached. |
|
| Attached Files | |
|
Relationships 
Relationships