From b12821e9bc1bb856867ceffb2e6ec226ecd3618d Mon Sep 17 00:00:00 2001
From: Maxim Belkin <maxim.belkin@gmail.com>
Date: Fri, 7 Aug 2020 04:09:53 -0500
Subject: [PATCH] Makefile: don't use /bin/bash shell (#484)

---
 Makefile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Makefile b/Makefile
index a1bc0d9..7d2130f 100644
--- 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.
 
-- 
2.30.2