Add CI check that generated documentation is up to date#10986

Pierre-Sassoulas wants to merge 2 commits intopylint-dev:mainpylint-dev/pylint:mainfrom

Pierre-Sassoulas:doc-stay-up-to-datePierre-Sassoulas/pylint:doc-stay-up-to-dateCopy head branch name to clipboard