aboutsummaryrefslogtreecommitdiff
path: root/docs/gnulinux
diff options
context:
space:
mode:
Diffstat (limited to 'docs/gnulinux')
-rw-r--r--docs/gnulinux/grub_boot_installer.html5
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html
index 6989c04d..a91fd526 100644
--- a/docs/gnulinux/grub_boot_installer.html
+++ b/docs/gnulinux/grub_boot_installer.html
@@ -55,6 +55,11 @@
<b>$ sudo dd if=gnulinux.iso of=/dev/sdX bs=8M; sync</b><br/>
<b># dd if=gnulinux.iso of=/dev/sdX bs=8M; sync</b>
</p>
+
+ <p>
+ You should now be able to boot the installer from your USB drive. Continue reading, for
+ information about how to do that.
+ </p>
<p>
<a href="#pagetop">Back to top of page</a>.