Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit e7dfbab5d64fbb56dc32b1470fde187db4d3ccc1
parent e4e18a1d725593960867c164950a0671390c508d
Author: Francis Rowe <>
Date:   Mon,  8 Jun 2015 22:02:10 +0100

docs/gnulinux/grub_boot_installer.html: idiot-proofing

docs/gnulinux/grub_boot_installer.html | 2++
1 file changed, 2 insertions(+), 0 deletions(-)

diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html @@ -158,6 +158,8 @@ grub&gt; <b>cat (usb0)/isolinux/foo.cfg</b><br/> And so on, until you find the correct menuentries for ISOLINUX. + <b>The file <i>/isolinux/foo.cfg</i> is a fictional example. Do not actually + use this example, unless you actually have that file, if it is appropriate.</b> </p> <p>