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

the `nit` prefix is reserved for commands.

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/.gitignore b/.gitignore
index c46c179..12fcc43 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -21,7 +21,7 @@ doc/nit_version.sty
 src/parser/.nit.sablecc3
 src/parser/.nit.sablecc3.dump
 src/parser/.parser-nofact.nit
-src/nit_version.nit
+src/version.nit
 src/callgrind.*
 src/*.log
 src/*.dot

diff --git a/src/Makefile b/src/Makefile
index c46614c..a022756 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -87,7 +87,7 @@ parser/parser.nit:
        cd parser; make
 
 clean:
-       rm -rf -- .nit_compile* nit_version.nit 2> /dev/null || true
+       rm -rf -- .nit_compile* version.nit 2> /dev/null || true
        cd parser; make clean
 
 distclean: clean

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 $*"