[FE training-materials-updates] sysdev-real-time: slightly reword wording when enabling high-res timers

[Thomas Petazzoni]

Repository : git://git.free-electrons.com/training-materials.git

On branch  : master
Link       : http://git.free-electrons.com/training-materials/commit/?id=5aba5c2e5bddad773c18f65ab1b02b1beddfcda9

>---------------------------------------------------------------

commit 5aba5c2e5bddad773c18f65ab1b02b1beddfcda9
Author: Thomas Petazzoni <thomas.petazzoni at free-electrons.com>
Date:   Fri Sep 20 10:48:51 2013 +0200

    sysdev-real-time: slightly reword wording when enabling high-res timers
    
    Signed-off-by: Thomas Petazzoni <thomas.petazzoni at free-electrons.com>


>---------------------------------------------------------------

5aba5c2e5bddad773c18f65ab1b02b1beddfcda9
 labs/sysdev-real-time/sysdev-real-time.tex |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/labs/sysdev-real-time/sysdev-real-time.tex b/labs/sysdev-real-time/sysdev-real-time.tex
index d805b01..9609bc1 100644
--- a/labs/sysdev-real-time/sysdev-real-time.tex
+++ b/labs/sysdev-real-time/sysdev-real-time.tex
@@ -156,8 +156,8 @@ Compare it to the timer tick of your system, as defined by \code{CONFIG_HZ}.
 
 Obviously, this resolution will not provide accurate sleep times, and
 this is because our kernel doesn't use high-resolution timers. So
-let's enable the following options in the kernel configuration:
-\code{CONFIG_HIGH_RES_TIMERS}.
+let's enable the \code{CONFIG_HIGH_RES_TIMERS} option in the kernel
+configuration.
 
 Recompile your kernel, boot your IGEP board with the new version, and
 check the new resolution. Better, isn't it?