From 38c06ad3fd4264b10b902ef729ee74d51c08f684 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Tue, 15 Aug 2023 10:34:08 +0200
Subject: updated AUTHORS.md, LICENSE and README.MD files

---
 makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'makefile')

diff --git a/makefile b/makefile
index 8a85eb2..5e3101a 100644
--- a/makefile
+++ b/makefile
@@ -1,5 +1,5 @@
 pkg := oldstandard
-SHELL = bash
+SHELL = /usr/local/bin/bash
 PWD   = $(shell pwd)
 #ver  := $(shell grep '\\edef\\pkgver' $(pkg).tex | grep -Eo '[0-9]{1,}\.[0-9]{1,}[a-z]{,1}')
 ver := $(shell grep '\\edef\\pkgver' oldstandard.tex | egrep -o '[0-9]{1,}\.[0-9]{1,}\-?[a-z]?')
-- 
cgit v1.2.3