From ebed8eaf5d8c7ad53c7faf5094fc01b4cc78edc9 Mon Sep 17 00:00:00 2001 From: zirain Date: Mon, 22 Jul 2024 16:49:16 +0800 Subject: [PATCH] tools: remove sphinx (#3927) Signed-off-by: zirain --- tools/src/sphinx-build/requirements.txt | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 tools/src/sphinx-build/requirements.txt diff --git a/tools/src/sphinx-build/requirements.txt b/tools/src/sphinx-build/requirements.txt deleted file mode 100644 index 16fc53701bf0..000000000000 --- a/tools/src/sphinx-build/requirements.txt +++ /dev/null @@ -1,2 +0,0 @@ -Sphinx==7.3.7 -myst-parser==3.0.1