From d3143b7456f36417c908ea596a82a5a521135f06 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bartek=20=C5=81ukawski?= <bwmn.peter@gmail.com>
Date: Tue, 14 Nov 2023 16:13:49 +0100
Subject: [PATCH] Disable instant loading, use built-in deploy feature

---
 .github/workflows/gh-pages.yml | 9 ++-------
 mkdocs.yml                     | 1 -
 2 files changed, 2 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index fb91fa3..be9c71d 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -22,10 +22,5 @@ jobs:
         fetch-depth: 0 # for the 'Last updated' timestamp
     - name: Install requirements
       run: pip install -r requirements.txt
-    - name: Build site
-      run: mkdocs build
-    - uses: crazy-max/ghaction-github-pages@v4
-      with:
-        build_dir: site
-      env:
-        GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
+    - name: Build and deploy site
+      run: mkdocs gh-deploy --no-history
diff --git a/mkdocs.yml b/mkdocs.yml
index 5f01181..aad307a 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -14,7 +14,6 @@ theme:
     - content.action.view
     - navigation.footer
     - navigation.indexes
-    - navigation.instant
     - navigation.sections
     - navigation.top
     - navigation.tracking