summary: run the basic documentation build with sphinx-rtd-theme test: | sphinx-build -M html source/ build/ && grep 'id="test-docfile">' build/html/index.html && grep '

Test docfile' build/html/index.html && grep 'SphinxRtdTheme' build/html/_static/js/theme.js && grep 'src="_static/js/theme.js' build/html/index.html && rm -rf build/ require: - python3-sphinx - python3-sphinx_rtd_theme