2021-01-25 08:26 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001082Frama-CKernel > Makefilepublic2014-02-12 16:58
ReporterAnne 
Assigned Tosignoles 
PrioritynormalSeveritytrivialReproducibilityhave not tried
StatusclosedResolutionfixed 
Product Version 
Target VersionFixed in VersionFrama-C Oxygen-20120901 
Summary0001082: Bad links in generated documentation modules.svg
DescriptionThere 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.
                                              
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0004683

signoles (manager)

Fix committed to stable/neon branch.
+Notes

-Issue History
Date Modified Username Field Change
2012-02-06 14:48 Anne New Issue
2012-02-06 14:48 Anne Status new => assigned
2012-02-06 14:48 Anne Assigned To => signoles
2012-02-07 10:47 svn
2012-02-07 10:47 svn Status assigned => resolved
2012-02-07 10:47 svn Resolution open => fixed
2012-09-19 17:15 signoles Fixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16 signoles Status resolved => closed
2013-12-19 01:11 signoles Source_changeset_attached => framac master 22e6a8cb
2014-02-12 16:54 signoles Source_changeset_attached => framac stable/neon 22e6a8cb
2014-02-12 16:58 signoles Note Added: 0004683
2014-02-12 16:58 signoles Status closed => resolved
+Issue History