summaryrefslogtreecommitdiff
path: root/en/hardware/installation-media.xml
diff options
context:
space:
mode:
authorSamuel Thibault <sthibault@debian.org>2010-09-16 23:27:30 +0000
committerSamuel Thibault <sthibault@debian.org>2010-09-16 23:27:30 +0000
commit87ab377750a0944f5246d55264a97b2bd67fe2b8 (patch)
tree0e39bc0bf0dc1e1e764ab366e96596c071b2e93f /en/hardware/installation-media.xml
parentf37ec6e62df14ad84472fc51b873d1c6f66fa37f (diff)
downloadinstallation-guide-87ab377750a0944f5246d55264a97b2bd67fe2b8.zip
* Fix "post-install" part for non-Linux ports.
Diffstat (limited to 'en/hardware/installation-media.xml')
-rw-r--r--en/hardware/installation-media.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/en/hardware/installation-media.xml b/en/hardware/installation-media.xml
index d8d938ec5..ec7986ea7 100644
--- a/en/hardware/installation-media.xml
+++ b/en/hardware/installation-media.xml
@@ -156,8 +156,8 @@ linkend="linux-upgrade"/>.
The Debian boot disks contain a kernel which is built to maximize the
number of systems it runs on. Unfortunately, this makes for a larger
kernel, which includes many drivers that won't be used for your
-machine (see <xref linkend="kernel-baking"/> to learn how to
-build your own kernel). Support for the widest possible range of
+machine<phrase arch="linux-any"> (see <xref linkend="kernel-baking"/> to learn how to
+build your own kernel)</phrase>. Support for the widest possible range of
devices is desirable in general, to ensure that Debian can be
installed on the widest array of hardware.