diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 39930454bd..992ca27a93 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -44,7 +44,7 @@ jobs: run: mkdocs build --strict -f mkdocs.insiders.yml - name: "Build docs" if: ${{ env.MKDOCS_INSIDERS_SSH_KEY_EXISTS != 'true' }} - run: mkdocs build --strict -f mkdocs.generated.yml + run: mkdocs build --strict -f mkdocs.public.yml - name: "Deploy to Cloudflare Pages" if: ${{ env.CF_API_TOKEN_EXISTS == 'true' }} uses: cloudflare/wrangler-action@v3.3.2 diff --git a/mkdocs.public.yml b/mkdocs.public.yml new file mode 100644 index 0000000000..45b0689071 --- /dev/null +++ b/mkdocs.public.yml @@ -0,0 +1,4 @@ +INHERIT: mkdocs.generated.yml +# Omit the `typeset` plugin which is only available in the Insiders version. +plugins: + - search