Restore default role check in `make check`. (#92290)
* 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>
E
Ezio Melotti committed
953ab0795243900ccccaaca069d932730a86fc20
Parent: 26a162b
Committed by GitHub <noreply@github.com>
on 5/15/2022, 3:34:52 PM