cleanup.

charlottia · Oct 3, 2023 · bbe1d8e · bbe1d8e
1 parent c260f89
commit bbe1d8e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -63,7 +63,7 @@ has a few nice properties:
 
   Like above, except the Amaranth checkout must be at `./amaranth/` and
   a Yosys checkout is expected at `./yosys/`.  Yosys is configured to
-  be compiled and installed to `./hdx-out/`, and `PATH` has the output
+  be compiled and installed to `./yosys/hdx-out/`, and `PATH` has the output
   directory's `bin` subdirectory prepended.  You'll need to actually `make
   install` Yosys at least once for this mode to function, including any use of
   Amaranth that depends on Yosys.
@@ -92,7 +92,7 @@ has a few nice properties:
   }
   ```
 
-  * Want to specify a different version of a dependency? Easy:
+  * Want to specify a different version of a dependency?  WE HAVE A TOOL FOR THAT:
 
     ```nix
     inputs = {

diff --git a/yosys-amaranth-dev-shell.nix b/yosys-amaranth-dev-shell.nix
@@ -86,7 +86,7 @@ in
 
       cd ..
 
-      # amaranthSetupHook expects amaranth/ in cwd.
+      # amaranthSetupHook expects cwd to be an Amaranth checkout.
       cd amaranth
     '';