Bad links in generated documentation modules.svg
ID0001082: This issue was created automatically from Mantis Issue 1082. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0001082 | Frama-C | Kernel > Makefile | public | 2012-02-06 | 2014-02-12 |
Reporter | Anne | Assigned To | signoles | Resolution | fixed |
Priority | normal | Severity | trivial | Reproducibility | have not tried |
Platform | - | OS | - | OS Version | - |
Product Version | - | Target Version | - | Fixed in Version | Frama-C Oxygen-20120901 |
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.