Makefile: dest - Commit frontend/armadillo.js as well as version.js

This also adds an initial armadillo.js, but keeps the file in the .gitignore, so
that this file is only listed in commits as part of this process (unless also
added explicitly).

diff --git a/Makefile b/Makefile
index 7771de0c06ee237cec24d52f540aca33fabf6f86..ba1d59f28ea768c44ce4812d33b8d08e122e3b11 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -67,6 +67,6 @@ $(VERSION_FILE):
 # Copies the version template to the source and commits it.
 stamp: $(VERSION_FILE)
        cp $(VERSION_FILE) $(VERSION_SOURCE)
-       git commit $(VERSION_SOURCE) \
+       git commit $(VERSION_SOURCE) $(FRONTEND_BIN) \
                --author='Armadillo Build Script <armadillo@bluestatic.org>' \
                -m 'Stamp version.js @ $(shell gitcrement current)'

diff --git a/frontend/armadillo.js b/frontend/armadillo.js
new file mode 100644 (file)
index 0000000..1609028
--- /dev/null
+++ b/frontend/armadillo.js
@@ -0,0 +1 @@
+/* I will be replaced on the next `make dist` with compiled JavaScript. */