From c99e5d201ed924a816d99056f8f7d320d625b3ef Mon Sep 17 00:00:00 2001
From: Damien Gasparina <d.gasparina@gmail.com>
Date: Thu, 24 May 2018 15:23:24 +0100
Subject: [PATCH] using shebang /bin/bash instead of /bin/sh

---
 generate_page.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generate_page.sh b/generate_page.sh
index b073a1c..420e9da 100755
--- a/generate_page.sh
+++ b/generate_page.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 ##
 ## generate_page.sh