Merge pull request #302 from firesim/spike-blkdev

fix doc syntax

docs/source/internal/Build.rst

@@ -5,7 +5,7 @@ Build Process
 The goal of building a workload is to produce a working boot binary and
 (optionally) a root filesystem to boot from. The same outputs are used for
 Spike, Qemu, and FireSim. Spike now supports a disk. In order to use a disk,
-``libspikedevices.so`` should be installed by Chipyard to the ``RISCV`` library path (i.e. ``$RISCV/lib`).
+``libspikedevices.so`` should be installed by Chipyard to the ``RISCV`` library path (i.e. ``$RISCV/lib``)).
 The Iceblk block device model will be used as the default block device model. Users may also choose to create 
 an initramfs-only version of their workload instead for Spike
 (that binary will boot on Qemu and FireSim as well).