From a0c60b6a4d0649d738f3ccbaf4a9042110ca1387 Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Wed, 18 Jan 2023 15:10:31 +0300
Subject: [PATCH] Unnecessary .sh extension

---
 makedist.sh => makedist | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename makedist.sh => makedist (98%)

diff --git a/makedist.sh b/makedist
similarity index 98%
rename from makedist.sh
rename to makedist
index aa647f4..7bc8311 100755
--- a/makedist.sh
+++ b/makedist
@@ -75,7 +75,7 @@ cd ..
 
 ########################################################################
 
-rm -rf *.texi .redo .git .gitignore doc makedist.sh VERSION.do
+rm -rf *.texi .redo .git .gitignore doc makedist VERSION.do
 find . -type d -exec chmod 755 {} +
 find . -type f -exec chmod 644 {} +
 find t/redo-sh.tests -name test -exec chmod +x {} +
-- 
2.44.0