Merge branch 'master' into depencencies

[simgrid.git] / docs / requirements.txt

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 7a99a0275d9d3de774176b11c5d60437dd9c5ed1..4302bfe80f3c5d5165e24bb4b09489230da3dd67 100644 (file)
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,5 +1,5 @@
 breathe
-exhale
 sphinx>=1.8.0
 sphinx_rtd_theme
-
+sphinx_tabs
+javasphinx