diff options
| author | Ezio Melotti <ezio.melotti@gmail.com> | 2022-05-15 15:55:12 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-15 15:55:12 (GMT) |
| commit | 5b2c5ae75663fa899a60a88b46c00a7132c19d30 (patch) | |
| tree | 7f4cc16017d006935f75b8e4b8018d96487eb94c /Python/emscripten_signal.c | |
| parent | 2bcae11302ae80fe8749f81601530a4c43b737bd (diff) | |
| download | cpython-5b2c5ae75663fa899a60a88b46c00a7132c19d30.zip cpython-5b2c5ae75663fa899a60a88b46c00a7132c19d30.tar.gz cpython-5b2c5ae75663fa899a60a88b46c00a7132c19d30.tar.bz2 | |
[3.11] Restore default role check in `make check`. (GH-92290) (#92821)
* Restore default role check in `make check`.
* Options first, then files.
* Update `make.bat` too.
* Add a comment explaining the extra options.
* No reason to ignore the README.rst.
* Enable default-role check in sphinx-lint.
Co-authored-by: Julien Palard <julien@palard.fr>
* Update sphinx-lint default-role check.
* Fix use of the default role in the docs.
* Update make.bat to check for the default role too.
* Fix comment in make.bat.
Co-authored-by: Julien Palard <julien@palard.fr>
(cherry picked from commit 953ab0795243900ccccaaca069d932730a86fc20)
Co-authored-by: Ezio Melotti <ezio.melotti@gmail.com>
Diffstat (limited to 'Python/emscripten_signal.c')
0 files changed, 0 insertions, 0 deletions