From: Jean Privat <jean@pryen.org>
Date: Fri, 21 Mar 2014 00:50:26 +0000 (-0400)
Subject: src: rename `nit_version.nit` as `version.nit`
X-Git-Tag: v0.6.5~15^2~6
X-Git-Url: http://nitlanguage.org

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