new: Actor::get_restart_count(): Returns the number of reboots that this actor did

[simgrid.git] / docs / requirements.txt

diff --git a/docs/requirements.txt b/docs/requirements.txt
index d00e05a..2d4f477 100644 (file)
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -3,6 +3,7 @@ sphinx>=3.4.3,<4.0
 sphinx_rtd_theme>=0.5.2
 # sphinx_tabs v1.2.1 is required for Sphinx 2
 sphinx_tabs>=1.2.1
+sphinx_copybutton
 javalang
 beautifulsoup4
 lxml