##// END OF EJS Templates
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" ```

File last commit:

r27796:5bb0259a
r28900:a0e0c86b merge
Show More
docs.py
3 lines | 86 B | text/x-python | PythonLexer
import os
GENERATING_DOCUMENTATION = os.environ.get("IN_SPHINX_RUN", None) == "True"