From 71fed759a83fafc5012a459cfbe5df3102990533 Mon Sep 17 00:00:00 2001 From: David Young Date: Thu, 28 Dec 2023 09:22:35 +1300 Subject: [PATCH] Update glime widget Signed-off-by: David Young --- overrides/main.html | 2 +- scripts/build.sh | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/overrides/main.html b/overrides/main.html index 020978f..1c655d6 100644 --- a/overrides/main.html +++ b/overrides/main.html @@ -57,7 +57,7 @@ --> diff --git a/scripts/build.sh b/scripts/build.sh index 393d062..884bc4a 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -21,8 +21,8 @@ then else echo "GH_TOKEN passed, doing an insiders build.." # latest version is broken against python 3.8 - pip install git+https://${GH_TOKEN}@github.com/squidfunk/mkdocs-material-insiders.git - # pip install git+https://${GH_TOKEN}@github.com/squidfunk/mkdocs-material-insiders.git@9.3.1-insiders-4.41.0 + # pip install git+https://${GH_TOKEN}@github.com/squidfunk/mkdocs-material-insiders.git + pip install git+https://${GH_TOKEN}@github.com/squidfunk/mkdocs-material-insiders.git@9.5.2-insiders-4.47.1 ENABLE_PDF_EXPORT=1 mkdocs build -f mkdocs-insiders.yml # Put the PDF into secret location