summaryrefslogtreecommitdiff
path: root/fr/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 /fr/hardware/installation-media.xml
parentf37ec6e62df14ad84472fc51b873d1c6f66fa37f (diff)
downloadinstallation-guide-87ab377750a0944f5246d55264a97b2bd67fe2b8.zip
* Fix "post-install" part for non-Linux ports.
Diffstat (limited to 'fr/hardware/installation-media.xml')
-rw-r--r--fr/hardware/installation-media.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/fr/hardware/installation-media.xml b/fr/hardware/installation-media.xml
index 9ebb875cd..02a1a9697 100644
--- a/fr/hardware/installation-media.xml
+++ b/fr/hardware/installation-media.xml
@@ -140,8 +140,8 @@ Les disquettes de démarrage Debian contiennent un noyau
construit pour permettre de faire tourner un maximum de
systèmes. Malheureusement, sa taille augmente en conséquence, avec beaucoup
de pilotes qui ne seront jamais utilisés
-(voyez la <xref linkend="kernel-baking"/> pour apprendre à
-construire le vôtre). Cependant, le support du plus grand
+<phrase arch="linux-any">(voyez la <xref linkend="kernel-baking"/> pour apprendre à
+construire le vôtre)</phrase>. Cependant, le support du plus grand
nombre de périphériques possible est voulu afin de
s'assurer que l'on puisse installer Debian sur le plus de
machines possible.