diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index ea9c3e7..fe419f4 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -1,12 +1,10 @@
+# Automatic deploy on push is disabled.
+# GitHub Pages is published from the `gh-pages` branch via
+# `./scripts/deploy-docs-pages-local.sh` (see docs/demos/TOOLING.md).
+# Keep this workflow for optional manual runs only.
 name: Deploy to GitHub Pages
 
 on:
-  push:
-    branches:
-      - main
-    paths:
-      - 'docs/**'
-      - '.github/workflows/pages.yml'
   workflow_dispatch:
 
 permissions:
diff --git a/docs/demos/TOOLING.md b/docs/demos/TOOLING.md
index 2921db7..0ae2f3b 100644
--- a/docs/demos/TOOLING.md
+++ b/docs/demos/TOOLING.md
@@ -84,7 +84,7 @@ docgen --config docgen.yaml validate
 
 ## Manual publish to GitHub Pages
 
-There is **no CI workflow for video generation**. Recordings stay **gitignored on `main`**.
+There is **no CI workflow for video generation**, and **Deploy to GitHub Pages** is not triggered on push (manual `workflow_dispatch` only). Recordings stay **gitignored on `main`**.
 
 After regenerating locally: