summaryrefslogtreecommitdiffstats
path: root/docs/README.txt
diff options
context:
space:
mode:
authorNicolas Hennion <nicolas.hennion@thalesaleniaspace.com>2021-05-26 15:51:43 +0200
committerNicolas Hennion <nicolas.hennion@thalesaleniaspace.com>2021-05-26 15:51:43 +0200
commit8086e1033c909e4eb618836f4746ca6555f8b780 (patch)
treeb2660392c4c95ab34ae85a7792d107a82b72d706 /docs/README.txt
parent38448dcbfb61cbdad76037355e9e9e3edaf4911b (diff)
Update docs
Diffstat (limited to 'docs/README.txt')
-rw-r--r--docs/README.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/README.txt b/docs/README.txt
index 4089ba4f..3f7b6b24 100644
--- a/docs/README.txt
+++ b/docs/README.txt
@@ -3,11 +3,11 @@ Building the docs
First install Sphinx and the RTD theme:
- pip install sphinx sphinx_rtd_theme
+ make venv
or update it if already installed:
- pip install --upgrade sphinx sphinx_rtd_theme
+ make venv-upgrade
Go to the docs folder: