summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPierre Sassoulas <pierre.sassoulas@gmail.com>2021-04-05 15:24:40 +0200
committerPierre Sassoulas <pierre.sassoulas@gmail.com>2021-04-06 22:27:52 +0200
commit74830c336284717083b0c691a08528581de53cff (patch)
tree5ed5fb41424f7faf8fb60e4901982ebfcb0f6bb1
parentc3737748e5e5006787dfbc3c49807aa7c08f1d51 (diff)
downloadpylint-git-74830c336284717083b0c691a08528581de53cff.tar.gz
Remove duplication of requirement file for doc
-rw-r--r--doc/requirements.txt3
-rw-r--r--requirements_docs.txt2
-rw-r--r--tox.ini2
3 files changed, 3 insertions, 4 deletions
diff --git a/doc/requirements.txt b/doc/requirements.txt
index e7dffaacc..cecbaad52 100644
--- a/doc/requirements.txt
+++ b/doc/requirements.txt
@@ -1 +1,2 @@
-python-docs-theme
+Sphinx==3.5.3
+python-docs-theme==2020.12
diff --git a/requirements_docs.txt b/requirements_docs.txt
deleted file mode 100644
index cecbaad52..000000000
--- a/requirements_docs.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-Sphinx==3.5.3
-python-docs-theme==2020.12
diff --git a/tox.ini b/tox.ini
index 08078e9f9..6f41e2ab8 100644
--- a/tox.ini
+++ b/tox.ini
@@ -53,7 +53,7 @@ commands =
[testenv:docs]
changedir = doc/
deps =
- -r {toxinidir}/requirements_docs.txt
+ -r {toxinidir}/doc/requirements.txt
commands =
sphinx-build -W -b html -d _build/doctrees . _build/html