summaryrefslogtreecommitdiff
path: root/doc/source/dev
diff options
context:
space:
mode:
authorJuan Luis Cano Rodríguez <hello@juanlu.space>2022-11-08 05:27:56 +0100
committerGitHub <noreply@github.com>2022-11-07 20:27:56 -0800
commit3a5d336c32c413f4739d6468d51e56969ca61f1e (patch)
tree85724823210c7b4be6cda1c9cc0fc51b7c50da77 /doc/source/dev
parent10908c5fd147572c9ea02cef0c0d5eae6892e4cb (diff)
downloadnumpy-3a5d336c32c413f4739d6468d51e56969ca61f1e.tar.gz
DOC: Add instruction to initialize git submodules (#22543)
Add instructions to developer documentation about initializing git submodules before local build.
Diffstat (limited to 'doc/source/dev')
-rw-r--r--doc/source/dev/gitwash/development_setup.rst4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/source/dev/gitwash/development_setup.rst b/doc/source/dev/gitwash/development_setup.rst
index a2fc61d2e..4cb6c8358 100644
--- a/doc/source/dev/gitwash/development_setup.rst
+++ b/doc/source/dev/gitwash/development_setup.rst
@@ -103,6 +103,10 @@ Make the local copy
git config branch.main.remote upstream
git config branch.main.merge refs/heads/main
+#. Initialize the required git submodules: ::
+
+ git submodule update --init
+
******************************************************************************
Look it over
******************************************************************************