From 7a6470381b39083c5800675bcdd6bf9ebeea46b2 Mon Sep 17 00:00:00 2001
From: Ben Phelps <ben@phelps.io>
Date: Sat, 30 Sep 2023 15:06:56 +0300
Subject: [PATCH] update build for insiders

---
 .github/workflows/docs-publish.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/docs-publish.yml b/.github/workflows/docs-publish.yml
index 0985e47cf..3fe68e70f 100644
--- a/.github/workflows/docs-publish.yml
+++ b/.github/workflows/docs-publish.yml
@@ -5,7 +5,7 @@ on:
     tags: [ 'v*.*.*' ]
     branches: ['main']
   workflow_dispatch:
-  
+
 permissions:
   contents: write
 
@@ -26,7 +26,7 @@ jobs:
           path: .cache
           restore-keys: |
             mkdocs-material-
-      - run: sudo apt-get install pngquant 
+      - run: sudo apt-get install pngquant
       - run: pip install mike
       - run: pip install git+https://${GH_TOKEN}@github.com/benphelps/mkdocs-material-insiders.git
       - name: Set Git config
@@ -41,9 +41,9 @@ jobs:
           git checkout main
       - name: Mike Deploy for Main
         if: github.ref == 'refs/heads/main'
-        run: mike deploy --update --push ${{github.ref_name}}
+        run: MKINSIDERS=true mike deploy --update --push ${{github.ref_name}}
       - name: Mike Deploy for Tags
         if: github.ref != 'refs/heads/main'
-        run: mike deploy --update --push ${{github.ref_name}} latest
+        run: MKINSIDERS=true mike deploy --update --push ${{github.ref_name}} latest
 env:
-  GH_TOKEN: ${{ secrets.GH_TOKEN }} 
+  GH_TOKEN: ${{ secrets.GH_TOKEN }}