[bootlin/training-materials updates] master: Makefile: drop final / in SESSION_URL (3be5f380)
Thomas Petazzoni
thomas.petazzoni at bootlin.com
Wed Oct 5 08:53:22 CEST 2022
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)}" > $@
More information about the training-materials-updates
mailing list