11 files changed, 69 insertions, 69 deletions
diff --git a/docs/bsd/freebsd.md b/docs/bsd/freebsd.md
index fa7c8167..9f0d58e0 100644
--- a/docs/bsd/freebsd.md
+++ b/docs/bsd/freebsd.md
@@ -60,17 +60,17 @@ If you downloaded your ISO on a LibertyBSD or OpenBSD system, here is
 how to create the bootable FreeBSD USB drive:
 
 Connect the USB drive. Check dmesg:\
-**\$ dmesg | tail**\
+    $ dmesg | tail
 Check to confirm which drive it is, for example, if you think its sd3:\
-**\$ disklabel sd3**
+    $ disklabel sd3
 
 Check that it wasn't automatically mounted. If it was, unmount it. For
 example:\
-**\$ doas umount /dev/sd3i**\
+    $ doas umount /dev/sd3i
 
 dmesg told you what device it is. Overwrite the drive, writing the
 FreeBSD installer to it with dd. For example:\
-**\$ doas dd if=freebsd.img of=/dev/rsdXc bs=1M; sync**\
+    $ doas dd if=freebsd.img of=/dev/rsdXc bs=1M; sync
 
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
@@ -84,19 +84,19 @@ If you downloaded your ISO on a GNU+Linux system, here is how to create
 the bootable FreeBSD USB drive:
 
 Connect the USB drive. Check dmesg:\
-**\$ dmesg**\
+    $ dmesg
 Check lsblk to confirm which drive it is:\
-**\$ lsblk**
+    $ lsblk
 
 Check that it wasn't automatically mounted. If it was, unmount it. For
 example:\
-**\$ sudo umount /dev/sdX\***\
-**\# umount /dev/sdX\***
+    $ sudo umount /dev/sdX\*
+    # umount /dev/sdX\*
 
 dmesg told you what device it is. Overwrite the drive, writing your
 distro ISO to it with dd. For example:\
-**\$ sudo dd if=freebsd.img of=/dev/sdX bs=8M; sync**\
-**\# dd if=freebsd.img of=/dev/sdX bs=8M; sync**
+    $ sudo dd if=freebsd.img of=/dev/sdX bs=8M; sync
+    # dd if=freebsd.img of=/dev/sdX bs=8M; sync
 
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
diff --git a/docs/bsd/netbsd.md b/docs/bsd/netbsd.md
index 286d9495..ff515c40 100644
--- a/docs/bsd/netbsd.md
+++ b/docs/bsd/netbsd.md
@@ -56,17 +56,17 @@ If you downloaded your ISO on a LibertyBSD or NetBSD system, here is how
 to create the bootable NetBSD USB drive:
 
 Connect the USB drive. Check dmesg:\
-**\$ dmesg | tail**\
+    $ dmesg | tail
 Check to confirm which drive it is, for example, if you think its sd3:\
-**\$ disklabel sd3**
+    $ disklabel sd3
 
 Check that it wasn't automatically mounted. If it was, unmount it. For
 example:\
-**\$ doas umount /dev/sd3i**\
+    $ doas umount /dev/sd3i
 
 dmesg told you what device it is. Overwrite the drive, writing the
 NetBSD installer to it with dd. For example:\
-**\$ doas netbsd.iso of=/dev/rsdXc bs=1M; sync**\
+    $ doas netbsd.iso of=/dev/rsdXc bs=1M; sync
 
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
@@ -80,19 +80,19 @@ If you downloaded your ISO on a GNU+Linux system, here is how to create
 the bootable NetBSD USB drive:
 
 Connect the USB drive. Check dmesg:\
-**\$ dmesg**\
+    $ dmesg
 Check lsblk to confirm which drive it is:\
-**\$ lsblk**
+    $ lsblk
 
 Check that it wasn't automatically mounted. If it was, unmount it. For
 example:\
-**\$ sudo umount /dev/sdX\***\
-**\# umount /dev/sdX\***
+    $ sudo umount /dev/sdX\*
+    # umount /dev/sdX\*
 
 dmesg told you what device it is. Overwrite the drive, writing your
 distro ISO to it with dd. For example:\
-**\$ sudo dd if=install60.fs of=/dev/sdX bs=8M; sync**\
-**\# dd if=netbsd.iso of=/dev/sdX bs=8M; sync**
+    $ sudo dd if=install60.fs of=/dev/sdX bs=8M; sync
+    # dd if=netbsd.iso of=/dev/sdX bs=8M; sync
 
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
diff --git a/docs/bsd/openbsd.md b/docs/bsd/openbsd.md
index 988b87e6..4a7027d3 100644
--- a/docs/bsd/openbsd.md
+++ b/docs/bsd/openbsd.md
@@ -38,17 +38,17 @@ If you downloaded your ISO on a LibertyBSD or OpenBSD system, here is
 how to create the bootable LibertyBSD/OpenBSD USB drive:
 
 Connect the USB drive. Check dmesg:\
-**\$ dmesg | tail**\
+    $ dmesg | tail
 Check to confirm which drive it is, for example, if you think its sd3:\
-**\$ disklabel sd3**
+    $ disklabel sd3
 
 Check that it wasn't automatically mounted. If it was, unmount it. For
 example:\
-**\$ doas umount /dev/sd3i**\
+    $ doas umount /dev/sd3i
 
 dmesg told you what device it is. Overwrite the drive, writing the
 OpenBSD installer to it with dd. For example:\
-**\$ doas dd if=install60.fs of=/dev/rsdXc bs=1M; sync**\
+    $ doas dd if=install60.fs of=/dev/rsdXc bs=1M; sync
 
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
@@ -79,19 +79,19 @@ If you downloaded your ISO on a GNU+Linux system, here is how to create
 the bootable OpenBSD USB drive:
 
 Connect the USB drive. Check dmesg:\
-**\$ dmesg**\
+    $ dmesg
 Check lsblk to confirm which drive it is:\
-**\$ lsblk**
+    $ lsblk
 
 Check that it wasn't automatically mounted. If it was, unmount it. For
 example:\
-**\$ sudo umount /dev/sdX\***\
-**\# umount /dev/sdX\***
+    $ sudo umount /dev/sdX\*
+    # umount /dev/sdX\*
 
 dmesg told you what device it is. Overwrite the drive, writing your
 distro ISO to it with dd. For example:\
-**\$ sudo dd if=install60.fs of=/dev/sdX bs=8M; sync**\
-**\# dd if=install60.fs of=/dev/sdX bs=8M; sync**
+    $ sudo dd if=install60.fs of=/dev/sdX bs=8M; sync
+    # dd if=install60.fs of=/dev/sdX bs=8M; sync
 
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
diff --git a/docs/future/index.md b/docs/future/index.md
index cc98bcb5..3eacbc92 100644
--- a/docs/future/index.md
+++ b/docs/future/index.md
@@ -325,7 +325,7 @@ Get intelvbttool here: <http://review.coreboot.org/#/c/5842>
 Now dump a copy of the running VGA BIOS: **\$ sudo dd if=/dev/mem bs=64k
 of=runningvga.bin skip=12 count=1**\
 Then do (and record the output):\
-**\$ ./intelvbttool runningvga.bin > intelvbttool\_out**
+    $ ./intelvbttool runningvga.bin > intelvbttool\_out
 
 Backup both files (runningvga.bin and intelvbttool\_out), renaming them
 to match the system and LCD panel used.
diff --git a/docs/future/old.md b/docs/future/old.md
index 71107fba..8fc4e273 100644
--- a/docs/future/old.md
+++ b/docs/future/old.md
@@ -44,7 +44,7 @@ That's all! **This has also been backported into libreboot 5th release
 Carikli) told me about the register **BLC\_PWM\_CTL** and that you could
 set it to control backlight. I read that address using devmem2 while
 running the VBIOS:\
-**\# devmem2 0xe4361254 w**
+    # devmem2 0xe4361254 w
 
 The change is also included in libreboot 6.
 
diff --git a/docs/gnulinux/grub_boot_installer.md b/docs/gnulinux/grub_boot_installer.md
index 08a1c83e..1fd924b1 100644
--- a/docs/gnulinux/grub_boot_installer.md
+++ b/docs/gnulinux/grub_boot_installer.md
@@ -29,19 +29,19 @@ If you downloaded your ISO on an existing GNU+Linux system, here is how
 to create the bootable GNU+Linux USB drive:
 
 Connect the USB drive. Check dmesg:\
-**\$ dmesg**\
+    $ dmesg
 Check lsblk to confirm which drive it is:\
-**\$ lsblk**
+    $ lsblk
 
 Check that it wasn't automatically mounted. If it was, unmount it. For
 example:\
-**\$ sudo umount /dev/sdX\***\
-**\# umount /dev/sdX\***
+    $ sudo umount /dev/sdX\*
+    # umount /dev/sdX\*
 
 dmesg told you what device it is. Overwrite the drive, writing your
 distro ISO to it with dd. For example:\
-**\$ sudo dd if=gnulinux.iso of=/dev/sdX bs=8M; sync**\
-**\# dd if=gnulinux.iso of=/dev/sdX bs=8M; sync**
+    $ sudo dd if=gnulinux.iso of=/dev/sdX bs=8M; sync
+    # dd if=gnulinux.iso of=/dev/sdX bs=8M; sync
 
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
@@ -72,17 +72,17 @@ If you downloaded your ISO on a LibertyBSD or OpenBSD system, here is
 how to create the bootable GNU+Linux USB drive:
 
 Connect the USB drive. Check dmesg:\
-**\$ dmesg | tail**\
+    $ dmesg | tail
 Check to confirm which drive it is, for example, if you think its sd3:\
-**\$ disklabel sd3**
+    $ disklabel sd3
 
 Check that it wasn't automatically mounted. If it was, unmount it. For
 example:\
-**\$ doas umount /dev/sd3i**\
+    $ doas umount /dev/sd3i
 
 dmesg told you what device it is. Overwrite the drive, writing the
 OpenBSD installer to it with dd. For example:\
-**\$ doas dd if=gnulinux.iso of=/dev/rsdXc bs=1M; sync**\
+    $ doas dd if=gnulinux.iso of=/dev/rsdXc bs=1M; sync
 
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
diff --git a/docs/gnulinux/grub_cbfs.md b/docs/gnulinux/grub_cbfs.md
index feb16b73..31192f5a 100644
--- a/docs/gnulinux/grub_cbfs.md
+++ b/docs/gnulinux/grub_cbfs.md
@@ -153,7 +153,7 @@ Extract grubtest.cfg from the ROM image {#extract_testconfig}
 ---------------------------------------
 
 You can check the contents of the ROM image, inside CBFS:\
-**\$ cd \.../libreboot\_util/cbfstool** **\$ ./cbfstool libreboot.rom
+    $ cd \.../libreboot\_util/cbfstool** $ ./cbfstool libreboot.rom
 print**
 
 The files *grub.cfg* and *grubtest.cfg* should be present. grub.cfg is
@@ -162,7 +162,7 @@ this tutorial, you will first modify and test *grubtest.cfg*. This is to
 reduce the possibility of bricking your device, so DO NOT SKIP THIS!
 
 Extract grubtest.cfg from the ROM image:\
-**\$ ./cbfstool libreboot.rom extract -n grubtest.cfg -f grubtest.cfg**
+    $ ./cbfstool libreboot.rom extract -n grubtest.cfg -f grubtest.cfg
 
 Modify the grubtest.cfg accordingly.
 
@@ -175,7 +175,7 @@ Re-insert the modified grubtest.cfg into the ROM image {#reinsert_modified_testc
 
 Once your grubtest.cfg is modified and saved, delete the unmodified
 config from the ROM image:\
-**\$ ./cbfstool libreboot.rom remove -n grubtest.cfg**
+    $ ./cbfstool libreboot.rom remove -n grubtest.cfg
 
 Next, insert the modified version:\
 **\$ ./cbfstool libreboot.rom add -n grubtest.cfg -f grubtest.cfg -t
@@ -228,10 +228,10 @@ the already modified config). From /libreboot\_util/cbfstool, do:\
 grub.cfg**\
 
 Delete the grub.cfg that remained inside the ROM:\
-**\$ ./cbfstool libreboot.rom remove -n grub.cfg**
+    $ ./cbfstool libreboot.rom remove -n grub.cfg
 
 Add the modified version that you just made:\
-**\$ ./cbfstool libreboot.rom add -n grub.cfg -f grub.cfg -t raw**
+    $ ./cbfstool libreboot.rom add -n grub.cfg -f grub.cfg -t raw
 
 **Now you have a modified ROM. Again, refer back to
 [../install/\#flashrom](../install/#flashrom) for information on how to
diff --git a/docs/grub/index.md b/docs/grub/index.md
index 56cbf470..81e4bd56 100644
--- a/docs/grub/index.md
+++ b/docs/grub/index.md
@@ -45,10 +45,10 @@ one](http://sourceforge.net/projects/dejavu/files/dejavu/2.34/dejavu-fonts-ttf-2
 This is a free font that is also contained in GNU+Linux distributions
 like Debian, Devuan or Parabola.
 
-**\$ cd libreboot\_src/grub**\
+    $ cd libreboot\_src/grub
 compile grub (the build scripts info on how to do this)\
 come back out into libreboot\_src/resources/grub:\
-**\$ cd ../libreboot\_src/resources/grub/font**
+    $ cd ../libreboot\_src/resources/grub/font
 
 I took Dejavu Sans Mono from dejavu (included in this version of
 libreboot) and did:\
@@ -76,7 +76,7 @@ Custom keyboard layout in GRUB (for reference) {#grub_custom_keyboard}
 Keymaps are stored in resources/utilities/grub-assemble/keymap/.
 
 Example (French Azerty):\
-**\$ ckbcomp fr > frazerty**\
+    $ ckbcomp fr > frazerty
 \
 Go in grub directory:\
 **cat frazerty | ./grub/grub-mklayout -o frazerty.gkb**
@@ -104,7 +104,7 @@ ukdvorak had to be created manually, based on usdvorak. diff them (under
 resources/utilities/grub-assemble/keymap/original) to see how ukdvorak
 file was created
 
-**\$ cat ukdvorak | ./grub/grub-mklayout -o ukdvorak.gkb**
+    $ cat ukdvorak | ./grub/grub-mklayout -o ukdvorak.gkb
 
 [Back to top of page](#pagetop)
 
diff --git a/docs/hcl/index.md b/docs/hcl/index.md
index 80590568..8adb7fc4 100644
--- a/docs/hcl/index.md
+++ b/docs/hcl/index.md
@@ -437,7 +437,7 @@ the macbook2,1. They are included here in case the main site goes down
 for whatever reason, since they include a lot of useful information.
 
 Backups created using wget:\
-**\$ wget -m -p -E -k -K -np http://macbook.donderklumpen.de/**\
+    $ wget -m -p -E -k -K -np http://macbook.donderklumpen.de/
 **\$ wget -m -p -E -k -K -np
 http://macbook.donderklumpen.de/coreboot/**\
 Use **-e robots=off** if using this trick for other sites and the site
diff --git a/docs/misc/index.md b/docs/misc/index.md
index 15d0ea08..7d73569b 100644
--- a/docs/misc/index.md
+++ b/docs/misc/index.md
@@ -58,10 +58,10 @@ when idle. So far we have use processor.max\_cstate=2 or idle=halt in
 GRUB. These consume power. Stop using them!
 
 Be root\
-**\$ su -**
+    $ su -
 
 Installed powertop:\
-**\# pacman -S powertop**
+    # pacman -S powertop
 
 and added the following to /etc/systemd/system/powertop.service :
 
@@ -79,8 +79,8 @@ and added the following to /etc/systemd/system/powertop.service :
     WantedBy=multi-user.target
 
 Finally, as root do that:\
-**\# systemctl enable powertop**\
-**\# systemctl start powertop**
+    # systemctl enable powertop
+    # systemctl start powertop
 
 The next time you boot the system, the buzz will be gone.
 
@@ -108,7 +108,7 @@ port on the dock and connect the other end to a 2nd system using your
 USB Serial adapter.
 
 On the 2nd system, you can try this (using GNU Screen):\
-**\$ sudo screen /dev/ttyUSB0 115200**
+    $ sudo screen /dev/ttyUSB0 115200
 
 How to quit GNU Screen: Ctrl+A then release and press K, and then press
 Y.
diff --git a/docs/misc/patch.md b/docs/misc/patch.md
index 54c82ecf..9f22f776 100644
--- a/docs/misc/patch.md
+++ b/docs/misc/patch.md
@@ -10,11 +10,11 @@ Apply a patch
 =============
 
 To apply a patch to a single file, do that in it's directory:\
-**\$ patch < foo.patch**
+    $ patch < foo.patch
 
 Assuming that the patch is distributed in unified format identifying the
 file the patch should be applied to, the above will work. Otherwise:\
-**\$ patch foo.txt < bar.patch**
+    $ patch foo.txt < bar.patch
 
 You can apply a patch to an entire directory, but note the "p level".
 What this means is that inside patch files will be the files that you
@@ -23,7 +23,7 @@ the files ane located on your own computer instead of on the computer
 where the patch was created. 'p' level instructs the 'patch' utility
 to ignore parts of the path name to identify the files correctly.
 Usually a p level of 1 will work, so you would use:\
-**\$ patch -p1 < baz.patch**
+    $ patch -p1 < baz.patch
 
 Change to the top level directory before running this. If a patch level
 of 1 cannot identify the files to patch, then inspect the patch file for
@@ -31,14 +31,14 @@ file names. For example:\
 **/home/user/do/not/panic/yet.c**
 
 and you are working in a directory that contains panic/yet.c, use:\
-**\$ patch -p5 < baz.patch**
+    $ patch -p5 < baz.patch
 
 You usually count one up for each path separator (forward slash) removed
 from the beginning of the path, until you are left with a path that
 exists in the current working directory. The count is the p level.
 
 Removing a patch using the -R flag\
-**\$ patch -p5 -R < baz.patch**
+    $ patch -p5 -R < baz.patch
 
 [Back to top of page.](#pagetop)
 
@@ -48,13 +48,13 @@ Create a patch with diff
 ========================
 
 Diff can create a patch for a single file:\
-**\$ diff -u original.c new.c > original.patch**
+    $ diff -u original.c new.c > original.patch
 
 For diff'ing a source tree:\
-**\$ cp -R original new**
+    $ cp -R original new
 
 Do whatever you want in new/ and then diff it:\
-**\$ diff -rupN original/ new/ > original.patch**
+    $ diff -rupN original/ new/ > original.patch
 
 [Back to top of page.](#pagetop)
 
@@ -68,10 +68,10 @@ git is something special.
 Note: this won't show new files created.
 
 Just make whatever changes you want to a git clone and then:\
-**\$ git diff > patch.git**
+    $ git diff > patch.git
 
 Note the git revision that you did this with:\
-**\$ git log**
+    $ git log
 
 Alternatively (better yet), commit your changes and then use:
     $ git format-patch -N
@@ -88,10 +88,10 @@ it really is.
 
 Now to apply that patch in the future, just git clone it again and do
 with the git revision you found from above:\
-**\$ git reset --hard REVISIONNUMBER**
+    $ git reset --hard REVISIONNUMBER
 
 Now put patch.git in the git clone directory and do:\
-**\$ git apply patch.git**
+    $ git apply patch.git
 
 If you use a patch from git format-patch, then use **git am patch.git**
 instead of **git apply patch.git**. git-am will re-create the commits