From d528a97fc33191ebdd24b5b03a4619b4f686e59a Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Sun, 29 May 2022 18:01:54 +0200 Subject: renamed AUTHORS -> AUTHORS.md --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 6f04b6e..fb00c9c 100644 --- a/Makefile +++ b/Makefile @@ -9,7 +9,7 @@ HOMEDIR := $$HOME SAMPLES := samples exts := md html ins dtx el -files := AUTHORS COPYING +files := AUTHORS.md COPYING findopts := $(foreach ext,$(exts),-or -iname "*.$(ext)") findfiles := $(foreach file,$(files), -or -iname "$(file)") -- cgit v1.2.3