Fix return type for get_maxpid().

[simgrid.git] / docs / requirements.txt

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