Repository navigation

Add support for Graphviz diagrams - #2052

Merged

dscho merged 8 commits into

git:gh-pagesfrom

dscho:graphviz-diagrams

Sep 13, 2025

Merged

Add support for Graphviz diagrams#2052
dscho merged 8 commits into
git:gh-pagesfrom
dscho:graphviz-diagrams

Commits on Sep 7, 2025
- Add support for Graphviz dot diagrams
  dscho
  committed
  cda28bd
- graphviz: use <img> elements instead of <svg> ones
  dscho
  committed
  a7cac47
- graphviz: make the diagrams' background transparent by default
  dscho
  committed
  f2d5b6f
- graphviz: allow overriding the engine
  dscho
  committed
  d9f9c5b
Commits on Sep 10, 2025
- graphviz: optionally pre-generate the SVGs
  dscho
  committed
  e458803
- graphviz: support the `alt` attribute
  dscho
  committed
  66d59f7
- deploy/ci: pre-render the Graphviz diagrams
  dscho
  committed
  4f58ebc
Commits on Sep 13, 2025
- Replace the diagrams in `about/distributed` with Graphviz versions
  dscho
  committed
  352dbbf