Separate release from stamping via dist

diff --git a/Makefile b/Makefile
index 1410cd60d2c484ac0a1cdce1fa93e94cde6c91c0..451a079ce38fcfc141e0821d25cd72fa10cdf19d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -24,10 +24,12 @@ FRONTEND_BIN=frontend/armadillo.js
 # Default target, used to produce the backend and uncompiled frontend.
 all: backend frontend
 
-# Creates the compiled frontend code and stamps the version information into
-# the release.
+# Creates the compiled frontend code.
 release: backend compiled
 
+# Performs a release build and stamps the actual version file.
+dist: stamp release
+
 # Compiles the backend server.
 backend:
        go build -v .
@@ -40,7 +42,7 @@ $(FRONTEND_BIN): $(FRONTEND_SOURCES)
 
 # Compiles the frontend code for release.
 compiled: SOURCES_FLAGS=$(foreach f,$(FRONTEND_SOURCES),--js=$f)
-compiled: stamp
+compiled:
        java -jar closure-compiler.jar \
                $(SOURCES_FLAGS) \
                --js_output_file=$(FRONTEND_BIN) \