summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2015-06-08 17:10:16 (EDT)
committer Francis Rowe <info@gluglug.org.uk>2015-06-08 17:10:16 (EDT)
commit04e13b99e73b5c206070cc3558115608114cebd2 (patch)
treeda9bc44a0be716539821f033f946ce4feacc0408
parent7f74ace8d348f6e5036893cc6c595e39a3fabf1d (diff)
downloadlibreboot-04e13b99e73b5c206070cc3558115608114cebd2.zip
libreboot-04e13b99e73b5c206070cc3558115608114cebd2.tar.gz
libreboot-04e13b99e73b5c206070cc3558115608114cebd2.tar.bz2
docs/gnulinux/grub_boot_installer.html: grammar
-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 1aa14e1..b9716bf 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 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, it should now be booting the ISO
the way that you specified.
</p>