summaryrefslogtreecommitdiffstats
path: root/docs/gnulinux
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2015-06-08 17:10:52 (EDT)
committer Francis Rowe <info@gluglug.org.uk>2015-06-08 17:10:52 (EDT)
commit363f4160de902ed0b45bec98b85b670066adff68 (patch)
treed6c2efce87719d187917e5c9449ad8881cc9d6be /docs/gnulinux
parent04e13b99e73b5c206070cc3558115608114cebd2 (diff)
downloadlibreboot-363f4160de902ed0b45bec98b85b670066adff68.zip
libreboot-363f4160de902ed0b45bec98b85b670066adff68.tar.gz
libreboot-363f4160de902ed0b45bec98b85b670066adff68.tar.bz2
docs/gnulinux/grub_boot_installer.html: grammar (2)
Diffstat (limited to 'docs/gnulinux')
-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 b9716bf..34014bd 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>