From 3fdfa3b2309d85044b52a64e828866e2a85c6c9e Mon Sep 17 00:00:00 2001 From: Stephen Finucane Date: Mon, 4 Sep 2023 15:49:13 +0100 Subject: [PATCH] Remove unused requirements file Made me think we were using sphinx_rtd_theme here. We are not. Change-Id: I16a6cee70f153d95fc0b723e2ca1a39a2ac4398b Signed-off-by: Stephen Finucane --- tools/doc-requires | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 tools/doc-requires diff --git a/tools/doc-requires b/tools/doc-requires deleted file mode 100644 index 6b104fb0..00000000 --- a/tools/doc-requires +++ /dev/null @@ -1,2 +0,0 @@ -Sphinx -sphinx-rtd-theme