diff --git a/README_SETUP.md b/README_SETUP.md
index 60fb212a62f99fdf7b9fe97b1895c39336359e23..64e613ddd481a9bc3b83f625d9d3eef04985025f 100644
--- a/README_SETUP.md
+++ b/README_SETUP.md
@@ -198,6 +198,9 @@ Stand-alone documentation is built using Sphinx: `make doc`
 ### Requirements ##
 
 - sphinx
+* sphinx-rtd-theme
+* sphinxcontrib-plantuml
+* recommonmark
 - javasphinx :: `pip3 install --user javasphinx`
   - Alternative, if javasphinx fails because python3-sphinx is too recent:
     (`l_` not found):