Fix the failure of "Build docs" workflow (#14544)...
Fix the failure of "Build docs" workflow (#14544)
Fixes
#14542.
Local run of the following command (along with previous steps) failed
before deleting this line, and succeeded afterwards.
```
make -C docs/ html SPHINXOPTS="-W" \
PYTHON="coverage run -a" \
SPHINXBUILD="coverage run -a -m sphinx.cmd.build"
```
