🩹 — Fix mermaid.min.js download (again)

This commit is contained in:
Luc Didry 2024-04-11 10:00:12 +02:00
parent 9abc39a74b
commit 69cf92c83b
No known key found for this signature in database
GPG key ID: EA868E12D0257E3C

View file

@ -13,7 +13,7 @@ develop: venv ## Install the dev dependencies
venv/bin/pip install -e ".[dev,docs]"
docs: cog ## Build the docs
venv/bin/sphinx-build docs public
if [[ ! -e public/mermaid.min.js ]]; then curl -sL $$(grep mermaid.min.js public/search.html | cut -f 2 -d '"') --output public/mermaid.min.js; fi
if [ ! -e "public/mermaid.min.js" ]; then curl -sL $$(grep mermaid.min.js public/search.html | cut -f 2 -d '"') --output public/mermaid.min.js; fi
sed -e 's@https://unpkg.com/mermaid[^"]*"@mermaid.min.js"@' -i public/search.html public/genindex.html
sed -e 's@https://unpkg.com/mermaid[^"]*"@../mermaid.min.js"@' -i public/developer/models.html public/developer/overview.html
cog: ## Run cog, to integrate the CLI options to the docs.