diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2021-10-24 18:10:13 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2021-10-24 18:42:43 -0400 |
| commit | 8a0273d15d17d0e00ba4bfa05ffe46d372f979e7 (patch) | |
| tree | df197fee491a035b228b388c15c7293d0a284b2e /doc | |
| parent | 76c1888d0b65035f9fbfc1fd31ae75c019fbb699 (diff) | |
| download | python-coveragepy-git-8a0273d15d17d0e00ba4bfa05ffe46d372f979e7.tar.gz | |
build: use pip-tools to manage *.pip from *.in
The requires.io site stopped working for me, and this is a more automated
process anyway.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/requirements.in | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/requirements.in b/doc/requirements.in new file mode 100644 index 00000000..fb3c27ad --- /dev/null +++ b/doc/requirements.in @@ -0,0 +1,16 @@ +# Licensed under the Apache License: http://www.apache.org/licenses/LICENSE-2.0 +# For details: https://github.com/nedbat/coveragepy/blob/master/NOTICE.txt + +# PyPI requirements input for building documentation for coverage.py +# "make upgrade" turns this into doc/requirements.pip + +-c ../requirements/pins.pip + +doc8 +pyenchant +sphinx +sphinx-autobuild +sphinx_rtd_theme +sphinx-tabs +sphinxcontrib-restbuilder +sphinxcontrib-spelling |