[bootlin/training-materials updates] master: Makefile: drop final / in SESSION_URL (3be5f380)

[Thomas Petazzoni]

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

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

commit 3be5f380e298086e8c198b9c18185e7f198eb604
Author: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
Date:   Wed Oct 5 08:53:22 2022 +0200

    Makefile: drop final / in SESSION_URL
    
    Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>


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

3be5f380e298086e8c198b9c18185e7f198eb604
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 88e88f9a..9a6d5289 100644
--- a/Makefile
+++ b/Makefile
@@ -306,6 +306,9 @@ $(OUTDIR)/%.pdf: %.pdf
 # === Misc targets ===
 #
 
+# Drop final / in the URL
+SESSION_URL := $(patsubst %/,%,$(SESSION_URL))
+
 $(VARS): FORCE
 	@mkdir -p $(dir $@)
 	/bin/echo "\def \sessionurl {$(SESSION_URL)}" > $@