From 924ce8de2bfcc85472eb63b9fc2ba53340f91e4e Mon Sep 17 00:00:00 2001
From: "taha@asks2" <taha@chepec.se>
Date: Tue, 10 Sep 2019 00:29:17 +0200
Subject: [PATCH] env bash is better for portability, I heard.

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

diff --git a/chertex.sh b/chertex.sh
index a4fc1f2..3b3f6a0 100755
--- a/chertex.sh
+++ b/chertex.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 ## Process *.Rnw files
 ## Written May 14, 2010
 ## Taha Ahmed