From b18f5c4cc5e9b7fb54137ecc28644f667524db0b Mon Sep 17 00:00:00 2001 From: David Young Date: Sat, 8 Jul 2023 11:32:59 +1200 Subject: [PATCH] Meh. didn't help. Signed-off-by: David Young --- scripts/build.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/scripts/build.sh b/scripts/build.sh index ca4ac6c..502cf1e 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -10,8 +10,6 @@ set -x # debug failed builds # Run python build script to check for errors # python3 scripts/build.py mkdocs.yml -apt-get install -y pngquant # we need this for optimizing images - # install mkdocs (or insiders version, if we're passed a GH_TOKEN var) if [ -z "$GH_TOKEN" ] then