[bootlin/training-materials updates] master: sysdev: labs: fix typos (6ef93145)

[Luca Ceresoli]

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

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

commit 6ef931453b185149357942d6c82a1132c748f29e
Author: Luca Ceresoli <luca.ceresoli at bootlin.com>
Date:   Thu Feb 16 10:52:24 2023 +0100

    sysdev: labs: fix typos
    
    Signed-off-by: Luca Ceresoli <luca.ceresoli at bootlin.com>


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

6ef931453b185149357942d6c82a1132c748f29e
 labs/sysdev-thirdparty-bbb/sysdev-thirdparty-bbb.tex     | 4 ++--
 labs/sysdev-thirdparty-stm32/sysdev-thirdparty-stm32.tex | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/labs/sysdev-thirdparty-bbb/sysdev-thirdparty-bbb.tex b/labs/sysdev-thirdparty-bbb/sysdev-thirdparty-bbb.tex
index 917e9f82..0a49c55d 100644
--- a/labs/sysdev-thirdparty-bbb/sysdev-thirdparty-bbb.tex
+++ b/labs/sysdev-thirdparty-bbb/sysdev-thirdparty-bbb.tex
@@ -606,11 +606,11 @@ on a library different from the C library.
 \subsection{Compiling libgpiod}
 
 We are now going to use {\em libgpiod} (instead of the
-deprecated interface in \code{/sys/class/gpio}, which executables
+deprecated interface in \code{/sys/class/gpio}, whose executables
 (\code{gpiodetect}, \code{gpioset}, \code{gpioget}...) will
 allow us to drive and manage GPIOs from shell scripts.
 
-We are going to need code that is more recent that in the
+We are going to need code that is more recent than the
 latest release at the time of this writing (1.6.3), and
 checkout a commit that we tested:
 
diff --git a/labs/sysdev-thirdparty-stm32/sysdev-thirdparty-stm32.tex b/labs/sysdev-thirdparty-stm32/sysdev-thirdparty-stm32.tex
index 988fdf47..18c6a6e4 100644
--- a/labs/sysdev-thirdparty-stm32/sysdev-thirdparty-stm32.tex
+++ b/labs/sysdev-thirdparty-stm32/sysdev-thirdparty-stm32.tex
@@ -606,11 +606,11 @@ on a library different from the C library.
 \subsection{Compiling libgpiod}
 
 We are now going to use {\em libgpiod} (instead of the
-deprecated interface in \code{/sys/class/gpio}, which executables
+deprecated interface in \code{/sys/class/gpio}, whose executables
 (\code{gpiodetect}, \code{gpioset}, \code{gpioget}...) will
 allow us to drive and manage GPIOs from shell scripts.
 
-We are going to need code that is more recent that in the
+We are going to need code that is more recent than the
 latest release at the time of this writing (1.6.3), and
 checkout a commit that we tested: