From 78be897f61f9411d0bca9009add976e9c7f53daa Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Fri, 20 May 2022 11:22:32 +0200
Subject: added a COPYING file

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 032cf9b..ff0bc36 100644
--- a/Makefile
+++ b/Makefile
@@ -9,7 +9,9 @@ HOMEDIR := $$HOME
 SAMPLES := samples
 
 exts := md html ins dtx el
+files := COPYING
 findopts := $(foreach ext,$(exts),-or -iname "*.$(ext)")
+findfiles := $(foreach file,$(files), -or -iname "$(file)")
 
 define do_documentation
 	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx >/dev/null
@@ -51,7 +53,7 @@ clean: testsamples
 	rm -f $(NAME).bib $(PWD)/TMP/*.bib
 	rm -rf .backup
 	find -iname "*~" -or -iname "*.pdf" -or -iname "*_out*.tex" | xargs rm -rf
-	find ./* -type f -iname "Makefile" $(findopts) > ls-R
+	find ./* -type f -iname "Makefile" $(findopts) $(findfiles) > ls-R
 	find ./* -type f -iname "*.tex" | grep '/samples/' >> ls-R
 	rsync -aPr --files-from=ls-R . .backup
 	rm -rf *
-- 
cgit v1.2.3