From e0cdf36353b71acb4e94d73a1e6e92c0da0d898c Mon Sep 17 00:00:00 2001
From: gcolpart <gcolpart+gitit@evolix.fr>
Date: Fri, 23 Dec 2016 22:07:36 +0100
Subject: [PATCH] clarification

---
 TipsKernel.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/TipsKernel.md b/TipsKernel.md
index 22be5da7..56a52d02 100644
--- a/TipsKernel.md
+++ b/TipsKernel.md
@@ -109,11 +109,11 @@ Debian propose des paquets linux-source-* contenant les sources vanilla patchée
 
 ## Choix des options
 
-Pour le choix des options, on utilise `make OPTION` où *OPTION* peut valoir :
+Pour le choix des options, plusieurs alternatives :
 
-* menuconfig (installer *libncurses5-dev*)
-* xconfig (installer *libqt4-dev*)
-* config
+* `make menuconfig` (nécessite le paquet *libncurses5-dev*)
+* `make xconfig` (nécessite le paquet *libqt4-dev*)
+* `make config`
 
 Pour récupérer les options d'un autre noyau (même plus ancien) :