diff options
author | Holger Wansing <holgerw@debian.org> | 2017-11-03 10:27:56 +0000 |
---|---|---|
committer | Holger Wansing <holgerw@debian.org> | 2017-11-03 10:27:56 +0000 |
commit | 45facf5f51b8682927bd9ed794fec6dc00ac58f4 (patch) | |
tree | f54c1bdffa0a3b30300b152d22f6bdcc771a7748 /en/boot-installer/intro-usb.xml | |
parent | b52f4cc397e6ec117bdd8b4c7eeafb44e706a153 (diff) | |
download | installation-guide-45facf5f51b8682927bd9ed794fec6dc00ac58f4.zip |
Fix "ID xxx-yyy already defined" validation errors:
add some forgotten occurrences.
Diffstat (limited to 'en/boot-installer/intro-usb.xml')
-rw-r--r-- | en/boot-installer/intro-usb.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/en/boot-installer/intro-usb.xml b/en/boot-installer/intro-usb.xml index 243e7b927..c1d2604df 100644 --- a/en/boot-installer/intro-usb.xml +++ b/en/boot-installer/intro-usb.xml @@ -4,7 +4,10 @@ <para> If your computer will boot from USB, this will probably be the easiest route for installation. Assuming you have prepared everything from -<xref linkend="boot-dev-select"/> and <xref +<phrase +arch="any-x86"><xref linkend="boot-dev-select-x86"/></phrase><phrase +arch="arm64"><xref linkend="boot-dev-select-arm64"/></phrase> +and <xref linkend="boot-usb-files"/>, just plug your USB stick into some free USB connector and reboot the computer. The system should boot up, and unless you have used the flexible way to build the stick and not |