From 69cf92c83bf53d5f22e17bdc98f6766d36c68cb6 Mon Sep 17 00:00:00 2001 From: Luc Didry Date: Thu, 11 Apr 2024 10:00:12 +0200 Subject: [PATCH] =?UTF-8?q?=F0=9F=A9=B9=20=E2=80=94=20Fix=20mermaid.min.js?= =?UTF-8?q?=20download=20(again)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a8252d4..4532a15 100644 --- a/Makefile +++ b/Makefile @@ -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.