aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/gnulinux/grub_boot_installer.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html
index b9716bfc..34014bd2 100644
--- a/docs/gnulinux/grub_boot_installer.html
+++ b/docs/gnulinux/grub_boot_installer.html
@@ -183,7 +183,7 @@
Note: <i>usb0</i> may be incorrect. Check the output of the <i>ls</i> command in GRUB,
to see a list of USB devices/partitions.
- Of course this will vary from distro to distro. If you did all of that correctly, it should now be booting the ISO
+ Of course this will vary from distro to distro. If you did all of that correctly, then it should now be booting the ISO
the way that you specified.
</p>