Skip to content

Commit

Permalink
Upgrade the version of plantuml (#3124)
Browse files Browse the repository at this point in the history
- directly use the official binaries instead of the ubuntu package
- upgrade the readthedocs ubuntu image to 22.04
  • Loading branch information
TotoGaz authored May 14, 2024
1 parent db7cc5d commit 728edb9
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 3 deletions.
8 changes: 6 additions & 2 deletions .readthedocs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,10 +4,12 @@
version: 2

build:
os: "ubuntu-20.04"
os: "ubuntu-22.04"
apt_packages:
- curl
- graphviz
- npm
- plantuml
- openjdk-21-jre-headless
- texlive
tools:
nodejs: "16"
Expand All @@ -16,6 +18,8 @@ build:
post_install:
- npm install -g [email protected]
- npm install -g @mermaid-js/[email protected]
# If you change the `/tmp/plantuml.jar` path, be sure to also update where this path is used as well (e.g. in `conf.py`).
- curl -fsSL https://github.com/plantuml/plantuml/releases/download/v1.2024.3/plantuml-gplv2-1.2024.3.jar -o /tmp/plantuml.jar

# Set requirements to build the docs
python:
Expand Down
2 changes: 1 addition & 1 deletion src/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -112,7 +112,7 @@
'sphinxcontrib.programoutput'
]

plantuml = "/usr/bin/plantuml"
plantuml = "/usr/bin/java -Djava.awt.headless=true -jar /tmp/plantuml.jar"
plantuml_output_format = "svg_img"

plot_html_show_source_link = True
Expand Down

0 comments on commit 728edb9

Please sign in to comment.