diff --git a/doc/getting_started/_index.md b/doc/getting_started/_index.md
index ab70d78..c4c7320 100644
--- a/doc/getting_started/_index.md
+++ b/doc/getting_started/_index.md
@@ -67,7 +67,7 @@
 We recommend installing the latest version of `pip` and `setuptools` (especially if on older systems such as Ubuntu 18.04) using:
 
 ```console
-python3 -m pip install --user -U pip setuptools
+$ python3 -m pip install --user -U pip setuptools
 ```
 
 The `pip` installation instructions use the `--user` flag to install without root permissions.
diff --git a/doc/getting_started/setup_dv.md b/doc/getting_started/setup_dv.md
index 7da49e1..ed4716a 100644
--- a/doc/getting_started/setup_dv.md
+++ b/doc/getting_started/setup_dv.md
@@ -50,7 +50,7 @@
 As such, nothing extra needs to be done.
 It can be created manually by invoking [`regtool`]({{< relref "util/reggen/README.md" >}}):
 ```console
-util/regtool.py -s -t /path-to-dv /path-to-module/data/<dut>.hjson
+$ util/regtool.py -s -t /path-to-dv /path-to-module/data/<dut>.hjson
 ```
 
 The generated file is placed in the simulation build scratch area instead of being checked in.
diff --git a/doc/getting_started/setup_verilator.md b/doc/getting_started/setup_verilator.md
index d125d4f..c1f0b73 100644
--- a/doc/getting_started/setup_verilator.md
+++ b/doc/getting_started/setup_verilator.md
@@ -151,7 +151,7 @@
 Observe the `gpio0-read` file for outputs (in the same directory as the trace):
 
 ```console
-$ cat gpio0-read
+cat gpio0-read
 ```
 
 To drive input pins write to the `gpio0-write` file.
@@ -159,7 +159,7 @@
 Multiple commands can be issued by separating them with a single space.
 
 ```console
-$ echo 'h09 l31' > gpio0-write  # Pull the pin 9 high, and pin 31 low.
+echo 'h09 l31' > gpio0-write  # Pull the pin 9 high, and pin 31 low.
 ```
 
 ## Connect with OpenOCD to the JTAG port and use GDB (optional)