From f4b7ba9a50fb848b5b8438182f1d7515c1813d6c Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Fri, 2 Oct 2020 09:54:43 -0700 Subject: [PATCH] docs: update README.rst build steps --- README.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.rst b/README.rst index c305ea4..a21de32 100644 --- a/README.rst +++ b/README.rst @@ -30,7 +30,7 @@ To clone the project, you'll need to initialize its submodules as well:: $ git clone https://github.com/galoisinc/argo $ cd argo/ $ git submodule init - $ pushd . && cd deps/saw-script/ && git submodule init && cd deps/abcBridge/ && git submodule init && popd + $ pushd . && cd deps/saw-script/ && git submodule update --init && cd deps/abcBridge/ && git submodule update --init && popd Most of the submodules are loaded recursively from the saw-script submodule, because that repository already contains the result of