docs/plantuml: Add PlantUML support to Documentation build

This commit adds support for PlantUML to the Documentation build
process. UML diagrams can be written in PlantUML syntax and then
rendered during the build process. Version control no longer needs to
track these UML diagrams as images, and we can modify them easily.

Signed-off-by: Matteo Golin <matteo.golin@gmail.com>

.github/workflows/doc.yml

@@ -42,6 +42,8 @@ jobs:
       - name: Generate Documentation
         run: |
           cd Documentation/
+          sudo apt update
+          sudo apt install plantuml
           pip3 install pipenv
           pipenv install
           pipenv run make html

Documentation/Pipfile

@@ -19,3 +19,4 @@ sphinx-tags = "*"
 sphinx-design = "*"
 sphinx-collapse = "*"
 MarkupSafe = "*"
+sphinxcontrib-plantuml = "*"

Documentation/conf.py

@@ -62,6 +62,7 @@ extensions = [
     "sphinx_tags",
     "sphinx_design",
     "sphinx_collapse",
+    "sphinxcontrib.plantuml",
 ]
 
 source_suffix = [".rst", ".md"]
@@ -80,7 +81,13 @@ templates_path = ["_templates"]
 # List of patterns, relative to source directory, that match files and
 # directories to ignore when looking for source files.
 # This pattern also affects html_static_path and html_extra_path.
-exclude_patterns = ["_build", "Thumbs.db", ".DS_Store", "legacy_README.md", "venv"]
+exclude_patterns = [
+    "_build",
+    "Thumbs.db",
+    ".DS_Store",
+    "legacy_README.md",
+    "venv",
+]
 
 # list of documentation versions to offer (besides latest). this will be
 # overridden by command line option but we can provide a sane default