From a789fad3f24c33c47bf3f1406dfe8daf585ea815 Mon Sep 17 00:00:00 2001
From: Jean Privat <jean@pryen.org>
Date: Thu, 20 Mar 2014 20:50:26 -0400
Subject: [PATCH] src: rename `nit_version.nit` as `version.nit`

the `nit` prefix is reserved for commands.

Signed-off-by: Jean Privat <jean@pryen.org>
---
 .gitignore             |    2 +-
 src/Makefile           |    2 +-
 src/git-gen-version.sh |    6 +++---
 3 files changed, 5 insertions(+), 5 deletions(-)

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