Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 173
    • Issues 173
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #1391
Closed
Open
Issue created Feb 06, 2012 by mantis-gitlab-migration@mantis-gitlab-migration

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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking