Makefile: don't use /bin/bash shell (#484)

diff --git a/Makefile b/Makefile
index a1bc0d9bc3327c1de846399e8f6fa6c47ff630e3..7d2130fa51a92b377607df0b2da75d82978b6f1b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,3 @@
-# Use /bin/bash instead of /bin/sh
-export SHELL = /bin/bash
-
 ## ========================================
 ## Commands for both workshop and lesson websites.