[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>
E
Ezio Melotti committed
5b2c5ae75663fa899a60a88b46c00a7132c19d30
Parent: 2bcae11
Committed by GitHub <noreply@github.com>
on 5/15/2022, 3:55:12 PM