Use Graphviz to generate SVG graphs (open-algebra#66)

.github/workflows/doxygen.yml

@@ -35,11 +35,11 @@ jobs:
  with:
  submodules: recursive
 
- # Installs Doxygen on the runner.
+ # Installs Doxygen and Graphviz on the runner.
  - name: Install Doxygen
  run: |
  sudo apt-get update
- sudo apt-get install -y doxygen
+ sudo apt-get install -y doxygen graphviz
 
  # Sets up GitHub Pages.
  - name: Setup GitHub Pages

Doxyfile

@@ -2476,7 +2476,7 @@ HIDE_UNDOC_RELATIONS = YES
 # set to NO
 # The default value is: NO.
 
-HAVE_DOT = NO
+HAVE_DOT = YES
 
 # The DOT_NUM_THREADS specifies the number of dot invocations doxygen is allowed
 # to run in parallel. When set to 0 doxygen will base this on the number of
@@ -2697,7 +2697,7 @@ DIR_GRAPH_MAX_DEPTH = 1
 # The default value is: png.
 # This tag requires that the tag HAVE_DOT is set to YES.
 
-DOT_IMAGE_FORMAT = png
+DOT_IMAGE_FORMAT = svg
 
 # If DOT_IMAGE_FORMAT is set to svg, then this option can be set to YES to
 # enable generation of interactive SVG images that allow zooming and panning.
@@ -2709,7 +2709,7 @@ DOT_IMAGE_FORMAT = png
 # The default value is: NO.
 # This tag requires that the tag HAVE_DOT is set to YES.
 
-INTERACTIVE_SVG = NO
+INTERACTIVE_SVG = YES
 
 # The DOT_PATH tag can be used to specify the path where the dot tool can be
 # found. If left blank, it is assumed the dot tool can be found in the path.