[bootlin/training-materials updates] master: labs/sysdev-toolchain: fix typo causing build failure with older LaTeX (06ec0e6d)

[Thomas Petazzoni]

Repository : https://github.com/bootlin/training-materials
On branch  : master
Link       : https://github.com/bootlin/training-materials/commit/06ec0e6d94973ab7ce402435c2e78784890cf65c

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

commit 06ec0e6d94973ab7ce402435c2e78784890cf65c
Author: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
Date:   Mon Aug 7 19:34:56 2023 +0200

    labs/sysdev-toolchain: fix typo causing build failure with older LaTeX
    
    Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>


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

06ec0e6d94973ab7ce402435c2e78784890cf65c
 labs/sysdev-toolchain/sysdev-toolchain.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/labs/sysdev-toolchain/sysdev-toolchain.tex b/labs/sysdev-toolchain/sysdev-toolchain.tex
index 59ba9bc2..0f636179 100644
--- a/labs/sysdev-toolchain/sysdev-toolchain.tex
+++ b/labs/sysdev-toolchain/sysdev-toolchain.tex
@@ -140,7 +140,7 @@ In \code{Operating System}:
 \begin{itemize}
 \item Set \code{Version of linux} to the 6.3.2 version that is
 proposed. We choose this version because the kernel we will
-be using is the \workingkernel \; kernel. Indeed, the linux kernel is
+be using is the \workingkernel.x kernel. Indeed, the linux kernel is
 backward compatible and therefore older linux headers will work fine on
 a newer running kernel.
 \end{itemize}