Merge branch 'master' into v3.20-expose-simgrid-jni

[simgrid.git] / docs / requirements.txt

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 98294c5..2c64af2 100644 (file)
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,5 +1,5 @@
 breathe
-exhale
-sphinx
+javasphinx
+sphinx>=1.8.0
 sphinx_rtd_theme