Makefile: Specify shell. Don't include commands.mk

diff --git a/Makefile b/Makefile
index 1fdc5d2ee9931a92637669a9ab42103ea93756d9..14a53a24d23bdd0b9357937d7eed373da70599bf 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,6 @@
+# Use /bin/bash instead of /bin/sh
+export SHELL = /bin/bash
+
 ## ========================================
 ## Commands for both workshop and lesson websites.
 
@@ -142,8 +145,3 @@ lesson-files :
 lesson-fixme :
        @fgrep -i -n FIXME ${MARKDOWN_SRC} || true
 
-#-------------------------------------------------------------------------------
-# Include extra commands if available.
-#-------------------------------------------------------------------------------
-
--include commands.mk