diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 42a604662..fa0b3c25d 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -6,7 +6,9 @@ on: - main paths: - "docs/**" + - ".github/workflows/docs.yml" - "mkdocs.yml" + - "pixi.*" tags: - v** pull_request: @@ -117,7 +119,6 @@ jobs: git checkout gh-pages git checkout main -- install/install.sh install/install.ps1 mv install/install.sh install/install.ps1 . - git restore . git restore --staged . git add install.sh install.ps1 # Check diff before committing diff --git a/install/docs_hooks.py b/install/docs_hooks.py index a78e6a0bb..c9660e196 100644 --- a/install/docs_hooks.py +++ b/install/docs_hooks.py @@ -6,7 +6,7 @@ def on_files(files: Files, config: MkDocsConfig): - """Copy the install scripts to the site.""" + """Copy the installation scripts to the site.""" for script in INSTALL_SCRIPTS: files.append( File( diff --git a/pixi.toml b/pixi.toml index 4bebac662..d4e0fd2bd 100644 --- a/pixi.toml +++ b/pixi.toml @@ -50,6 +50,7 @@ build-docs = "mkdocs build --strict" docs = "mkdocs serve" deploy-latest = "mike deploy --push --update-aliases $RELEASE_VERSION latest" deploy-dev = "mike deploy --push dev devel" +mike-serve = "mike serve" [feature.schema.tasks] generate-schema = { cmd = "python model.py > schema.json", cwd = "schema" }