diff options
Diffstat (limited to 'resources/tools/doc_gen/src/requirements.txt')
| -rw-r--r-- | resources/tools/doc_gen/src/requirements.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/tools/doc_gen/src/requirements.txt b/resources/tools/doc_gen/src/requirements.txt index cf6b0e6df6..2cf7cd9687 100644 --- a/resources/tools/doc_gen/src/requirements.txt +++ b/resources/tools/doc_gen/src/requirements.txt @@ -1,3 +1,3 @@ -Sphinx +Sphinx==1.5.5 sphinxcontrib_robotdoc sphinx-rtd-theme
\ No newline at end of file |