diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2022-06-24 14:17:44 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2022-06-24 14:17:44 -0700 |
commit | 031f4e16be6d532494e2fac39d3838913b1e8435 (patch) | |
tree | 6c146459cd86f2ef53964e75d74d6bb164b89d17 | |
parent | 9aac95464535216174b35e59704ae5eece3b25d7 (diff) | |
download | consfigurator-031f4e16be6d532494e2fac39d3838913b1e8435.tar.gz |
tutorial/disk_image.rst: fix a pathname literal
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
-rw-r--r-- | doc/tutorial/disk_image.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tutorial/disk_image.rst b/doc/tutorial/disk_image.rst index 459d992..5eb5d22 100644 --- a/doc/tutorial/disk_image.rst +++ b/doc/tutorial/disk_image.rst @@ -19,7 +19,7 @@ Here is a minimal definition of the host for which we can build a disk image::: (partitioned-volume ((partition :partition-typecode #xEF00 - (fat32-filesystem :volume-size 512 :mount-point #P"/boot/efi")) + (fat32-filesystem :volume-size 512 :mount-point #P"/boot/efi/")) (partition (ext4-filesystem :extra-space 400 :mount-point #P"/")))))) (installer:bootloader-binaries-installed) |