update instructions for building

INFO.md

diff --git a/INFO.md b/INFO.md
index 2f7388e..8fd5784 100644
--- a/INFO.md
+++ b/INFO.md
@@ -108,7 +108,7 @@
 This goes through all the projects in project_urls.py, and fetches the latest artifact zip from GitHub. It takes the verilog, the GL verilog, and the GDS and copies 
 them to the correct place.
 
-    ./configure.py --update-projects
+    ./configure.py --clone-all
 
 ### Configure Caravel
 

verification.md

diff --git a/verification.md b/verification.md
index 4c5bb70..651fc3a 100644
--- a/verification.md
+++ b/verification.md
@@ -13,7 +13,7 @@
 The default of 498 projects takes a very long time to simulate, so I advise overriding the configuration:
 
     # fetch the test projects
-    ./configure.py --test --update-projects
+    ./configure.py --test --clone-all
     # rebuild config with only 20 projects
     ./configure.py --test --update-caravel --limit 20