From 97f3a044c20515bf34d5c20ca9449dcaad7a1be8 Mon Sep 17 00:00:00 2001
From: Ced <ced@sdf.org>
Date: Tue, 3 Oct 2023 23:42:38 +0100
Subject: [PATCH] Enforce bash as shell in makefile

Was not the case on my debian machine for some reason...
---
 book/makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/book/makefile b/book/makefile
index c6a4423..05a6ff8 100644
--- a/book/makefile
+++ b/book/makefile
@@ -6,6 +6,11 @@ CLEAN := latexmk -cd -lualatex -c -use-make
 CHECK_1 := lacheck
 CHECK_2 := chktex
 
+# we want bash as shell
+SHELL := $(shell if [ -x "$$BASH" ]; then echo $$BASH; \
+	 else if [ -x /bin/bash ]; then echo /bin/bash; \
+	 else echo sh; fi; fi)
+
 ifdef DEBUG
 EBOOK += -a debug
 WEBSITE += -a debug