docs: dupplicate platform examples in the right section

[simgrid.git] / docs / requirements.txt

diff --git a/docs/requirements.txt b/docs/requirements.txt
index dabe5ff..4302bfe 100644 (file)
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,4 +1,5 @@
 breathe
 sphinx>=1.8.0
 sphinx_rtd_theme
-javalang
+sphinx_tabs
+javasphinx