From 77d8fd075d4d89667d8c568a306e82a72ff1c702 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Sun, 29 Jan 2023 09:26:35 +0100
Subject: updated makefile and README

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

(limited to 'makefile')

diff --git a/makefile b/makefile
index 5daff9d..612b591 100644
--- a/makefile
+++ b/makefile
@@ -85,7 +85,7 @@ clean:
 	rm -rf saved/ TMP/ _minted-arabluatex/
 	find ./samples/ | grep -v "\./samples/$$" | grep -v ".*tex$$" | xargs rm -rf
 	mkdir saved
-	cp *.{lua,ins,dtx,tex,el} AUTHORS.md COPYING makefile saved # .bib is in dtx
+	cp *.{lua,ins,dtx,tex,el} AUTHORS.md LICENSE makefile saved # .bib is in dtx
 	rm *.*
 	cp saved/* .
 	rm -rf saved/
-- 
cgit v1.2.3