Add the LICENSE.txt file

[armadillo.git] / Makefile

diff --git a/Makefile b/Makefile
index 623aff9498bbdf9f19531e0c44e75c022f1b36bd..613d109356638e3ea8cd31c80df5e7aeb6d87675 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@
 # Foundation, either version 3 of the License, or any later version.
 
 VERSION_MAJOR=0
-VERSION_MINOR=8
+VERSION_MINOR=9
 VERSION_NAMESPACE=armadillo.Version
 VERSION_FILE=frontend/version.js.proto
 VERSION_SOURCE=$(basename $(VERSION_FILE))
@@ -65,8 +65,8 @@ $(VERSION_FILE):
        echo "$(VERSION_NAMESPACE).STAMP = $(shell date +%s);" >> $(VERSION_FILE)
 
 # Copies the version template to the source.
-copy_version_src: $(VERSION_FILE)
-       cp $< $(VERSION_SOURCE)
+copy_version_src:
+       cp $(VERSION_FILE) $(VERSION_SOURCE)
 
 # Commits the version source and the frontend bin.
 stamp: