From 045c095f6ac359d5289c7e70aeba40db09563fdf Mon Sep 17 00:00:00 2001
From: wyattscarpenter <wyattscarpenter@gmail.com>
Date: Fri, 12 Sep 2025 00:02:36 +0700
Subject: [PATCH] Update docs.yml: add mypy/main.py

Part of the documentation is automatically generated from the options definitions in mypy/main.py, so we need to run the docs CI when that file is modified.

This follows up on https://github.com/python/mypy/pull/19727, which itself follows up on https://github.com/python/mypy/pull/19062
---
 .github/workflows/docs.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 3e78bf51913e..66e7c997f4fa 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -12,6 +12,9 @@ on:
     # so it's important to do the docs build on all PRs touching mypy/errorcodes.py
     # in case somebody's adding a new error code without any docs
     - 'mypy/errorcodes.py'
+    # Part of the documentation is automatically generated from the options
+    # definitions in mypy/main.py
+    - 'mypy/main.py'
     - 'mypyc/doc/**'
     - '**/*.rst'
     - '**/*.md'