From 4891f65c63f89d1fdcdf741d731797c6a4f962f9 Mon Sep 17 00:00:00 2001
From: Olivier Ramonat <ramonat@adacore.com>
Date: Tue, 26 Mar 2024 17:41:41 +0100
Subject: [PATCH] Remove tox -e docs which is not used

---
 tox.ini | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/tox.ini b/tox.ini
index 4a4d20a..d96238f 100644
--- a/tox.ini
+++ b/tox.ini
@@ -54,22 +54,6 @@ deps =
 commands =
       bandit -r e3 -ll -ii -s B102,B108,B301,B506
 
-[testenv:docs]
-basepython = python
-deps =
-     pytest
-     mock
-     httpretty
-     sphinx
-     sphinx-autoapi
-     sphinx_rtd_theme
-commands =
-      py.test --collect-only --requirement-coverage-report={toxinidir}/docs/source/requirement_coverage.yaml
-      python docs/generate-req-coverage.py {toxinidir}/docs/source/requirements.yaml \
-          {toxinidir}/docs/source/requirement_coverage.yaml \
-          {toxinidir}/docs/source/requirement_coverage.rst
-      python -msphinx -M html {toxinidir}/docs/source {toxinidir}/docs/build
-
 [flake8]
 ignore = D100,D101,D102,D102,D103,D104,D105,D106,D107,D203,D403,D213,E123,E133,E241,E242,W503,E704