From: Sergey Matveev <stargrave@stargrave.org>
Date: Wed, 18 Jan 2023 12:10:31 +0000 (+0300)
Subject: Unnecessary .sh extension
X-Git-Tag: v1.30.0^0
X-Git-Url: http://www.git.cypherpunks.ru/?p=goredo.git;a=commitdiff_plain;h=a0c60b6a4d0649d738f3ccbaf4a9042110ca1387

Unnecessary .sh extension
---

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 {} +