Merge branch 'master' of github.com:simgrid/simgrid into dev_11

[simgrid.git] / docs / requirements.txt

diff --git a/docs/requirements.txt b/docs/requirements.txt
index cd6467ed82b40cdd39fe862639cf3ce641ff6393..f357a3bd96daa286eea7082e68dce65df0d3ad46 100644 (file)
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1 +1,5 @@
 breathe
+sphinx>=3.2.1
+sphinx_rtd_theme
+# sphinx_tabs v1.2.1 is required for Sphinx 2
+sphinx_tabs>=1.2.1