Rename shell scripts

[nre.git] / verify

diff --git a/verify.sh b/verify
similarity index 99%
rename from verify.sh
rename to verify
index 25efbddeda7dfc5ff4b0314ab15631155dabc248..4239718e137513b15fb03367ac087bb0ad2f2bcc 100755 (executable)
--- a/verify.sh
+++ b/verify
@@ -3,7 +3,7 @@ set -e
 [ "$1" == "" ] && echo "Usage: $0 <year>" && exit 1
 year=$1
 
-. structure
+. structure.bash
 cd generated
 
 verify(){ # crt, [untrusted], additional