diff options
author | Samuel Thibault <sthibault@debian.org> | 2010-09-16 23:27:30 +0000 |
---|---|---|
committer | Samuel Thibault <sthibault@debian.org> | 2010-09-16 23:27:30 +0000 |
commit | 87ab377750a0944f5246d55264a97b2bd67fe2b8 (patch) | |
tree | 0e39bc0bf0dc1e1e764ab366e96596c071b2e93f /en/hardware/installation-media.xml | |
parent | f37ec6e62df14ad84472fc51b873d1c6f66fa37f (diff) | |
download | installation-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.xml | 4 |
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. |