Frama-C Bug Tracking System - Frama-C
View Issue Details
0001082Frama-CKernel > Makefilepublic2012-02-06 14:482014-02-12 16:58
ReporterAnne 
Assigned Tosignoles 
PrioritynormalSeveritytrivialReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
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

Notes
(0004683)
signoles   
2014-02-12 16:58   
Fix committed to stable/neon branch.

Issue History
2012-02-06 14:48AnneNew Issue
2012-02-06 14:48AnneStatusnew => assigned
2012-02-06 14:48AnneAssigned To => signoles
2012-02-07 10:47svn
2012-02-07 10:47svnStatusassigned => resolved
2012-02-07 10:47svnResolutionopen => fixed
2012-09-19 17:15signolesFixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16signolesStatusresolved => closed
2013-12-19 01:11signolesSource_changeset_attached => framac master 22e6a8cb
2014-02-12 16:54signolesSource_changeset_attached => framac stable/neon 22e6a8cb
2014-02-12 16:58signolesNote Added: 0004683
2014-02-12 16:58signolesStatusclosed => resolved