Unnecessary .sh extension

[goredo.git] / makedist

diff --git a/makedist.sh b/makedist
similarity index 98%
rename from makedist.sh
rename to makedist
index aa647f4d9cf2422eda9fc6c235f4741707ff9c2e..7bc8311a5b1443f7f3086236bd234403eec97601 100755 (executable)
--- 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 {} +