diff options
| author | Steve McIntyre <93sam@debian.org> | 2015-04-13 22:49:53 +0000 |
|---|---|---|
| committer | Steve McIntyre <93sam@debian.org> | 2015-04-13 22:49:53 +0000 |
| commit | 8e724d6087d462e9a4460d7e6f2e0639bdcebca9 (patch) | |
| tree | 105317654f383224e8d9746390cd4b6b3eb9cfdb | |
| parent | e45c1cc8da42e77399003551de3a30e4eb2ed2d9 (diff) | |
| download | installation-guide-8e724d6087d462e9a4460d7e6f2e0639bdcebca9.zip | |
Minor wording tweaks
| -rw-r--r-- | en/preparing/bios-setup/i386.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/en/preparing/bios-setup/i386.xml b/en/preparing/bios-setup/i386.xml index b5680caa8..4564d9e68 100644 --- a/en/preparing/bios-setup/i386.xml +++ b/en/preparing/bios-setup/i386.xml @@ -35,7 +35,7 @@ are not already enabled. </para><para> -Most BIOS versions allow to call up a boot menu on system startup in +Most BIOS versions allow you to call up a boot menu on system startup in which you select from which device the computer should start for the current session. If this option is available, the BIOS usually displays a short message like <quote>press <keycap>F12</keycap> for boot @@ -50,7 +50,7 @@ primary boot device. </para><para> If your BIOS does not provide you with a boot menu to do ad-hoc choices -of the current boot device, you have to change your BIOS setup to make +of the current boot device, you will have to change your BIOS setup to make the device from which the &d-i; shall be booted the primary boot device. </para><para> |