Move version.js.proto2 to .proto

diff --git a/Makefile b/Makefile
index 13db7ded5962d1620a764351580f4ff63089a66f..bcbf550fec8489d61f1034895d938e5fcf5d267e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,7 @@
 VERSION_MAJOR=0
 VERSION_MINOR=8
 VERSION_NAMESPACE=armadillo.Version
-VERSION_FILE=frontend/version.js.proto2
+VERSION_FILE=frontend/version.js.proto
 VERSION_SOURCE=$(basename $(VERSION_FILE))
 
 FRONTEND_SOURCES=frontend/jquery-1.7.1.js \