From 2ad682b3da2fb42eda1abce22550895a58755024 Mon Sep 17 00:00:00 2001 From: Guido Forthofer Date: Mon, 2 Dec 2024 11:19:21 +0100 Subject: [PATCH] github actions: install mkdoc plugins --- .github/workflows/main.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6e521d4e..31095ad4 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -28,7 +28,7 @@ jobs: python-version: 3.x - name: Install Python packages - run: pip install mkdocs-material mike + run: pip install mkdocs-material mkdocs-exclude mkdocs-exclude-search mike - name: Update gh-pages run: | @@ -38,8 +38,8 @@ jobs: find scripts/ -name "*.md" | cpio -pd doc/ find scripts/ -name "*.png" | cpio -pd doc/ - if [ -f "scripts/doc/update_doc.sh" ]; then - scripts/doc/update_doc.sh ${{ github.ref_name }} - fi +# if [ -f "scripts/doc/update_doc.sh" ]; then +# scripts/doc/update_doc.sh ${{ github.ref_name }} +# fi mike deploy --push --update-aliases ${{ github.ref_name }} latest