Rename shell scripts

[nre.git] / generateCRLs

diff --git a/generateCRLs.sh b/generateCRLs
similarity index 97%
rename from generateCRLs.sh
rename to generateCRLs
index 9e4208154c9caefd4dc69805c1f03041e36555ed..0b2c14a79f9b425bd4652c024b3de08203961ac6 100755 (executable)
--- a/generateCRLs.sh
+++ b/generateCRLs
@@ -5,8 +5,8 @@ set -e
 [ "$1" == "" ] && echo "Usage: $0 <year>" && exit 1
 year=$1
 
-. structure
-. commonFunctions
+. structure.bash
+. commonFunctions.bash
 cd generated
 
 generateCRL() { # name, year, month