Merge pull request #1830 from gonsolo/doc_fix

Fix missing step in documentation.
ucb-bar · Mar 18, 2024 · 0ae484a · 0ae484a
2 parents d834e62 + ae9cca6
commit 0ae484a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/docs/Chipyard-Basics/Initial-Repo-Setup.rst b/docs/Chipyard-Basics/Initial-Repo-Setup.rst
@@ -90,7 +90,9 @@ Run the following script based off which compiler you would like to use.
 
     ``-s 9`` skips pre-compiling FireMarshal default buildroot Linux sources
 
-    ``-s 10`` skips running repository clean-up
+    ``-s 10`` skips installing CIRCT
+
+    ``-s 11`` skips running repository clean-up
 
 .. code-block:: shell