src: rename `nit_version.nit` as `version.nit`

[nit.git] / src / git-gen-version.sh

diff --git a/src/git-gen-version.sh b/src/git-gen-version.sh
index cbf0ae6..d80eff8 100755 (executable)
--- a/src/git-gen-version.sh
+++ b/src/git-gen-version.sh
@@ -20,12 +20,12 @@
 # The version number is stored in a dedicated Nit module.
 
 gen_version() {
-       if grep "$*" nit_version.nit >/dev/null 2>&1; then
+       if grep "$*" version.nit >/dev/null 2>&1; then
                :
        else
-               cat > nit_version.nit<<END
+               cat > version.nit<<END
 # This file was generated by git-gen-version.sh
-module nit_version
+module version
 fun nit_version: String do return "$*"
 END
                echo "Version $*"