need to delay signal after properties are set

[simgrid.git] / docs / requirements.txt

diff --git a/docs/requirements.txt b/docs/requirements.txt
index cd6467ed82b40cdd39fe862639cf3ce641ff6393..0e101800fd6a06097f04313d4915d86619dd80c9 100644 (file)
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1 +1,4 @@
 breathe
+sphinx>=1.8.0
+sphinx_rtd_theme
+javasphinx