Fix issue #987 (#994)

plfa · May 5, 2024 · 0b81978 · 0b81978
1 parent 270dc79
commit 0b81978
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -77,10 +77,14 @@ If you'd like, you can [test to see if you've installed Agda correctly][agda-rea
 We recommend installing PLFA from Github into your home directory, by running the following command:
 
 ```bash
-git clone --depth 1 --recurse-submodules --shallow-submodules https://github.com/plfa/plfa.github.io plfa
+git clone --depth 1 https://github.com/plfa/plfa.github.io plfa
 ```
 
-PLFA ships with the required version of the Agda standard library, so if you cloned with the `--recurse-submodules` flag, you’ve already got it, in the `standard-library` directory!
+PLFA ships with the required version of the Agda standard library. You can download it by running the following command from the directory where you installed PLFA:
+
+```bash
+git submodule update --init
+```
 
 Finally, we need to let Agda know where to find the Agda standard library and PLFA. Two configuration files are required, one which lists paths to the libraries and one which specifies which libraries to load by default.