From 031f4e16be6d532494e2fac39d3838913b1e8435 Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Fri, 24 Jun 2022 14:17:44 -0700 Subject: tutorial/disk_image.rst: fix a pathname literal Signed-off-by: Sean Whitton --- doc/tutorial/disk_image.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- cgit v1.2.3