aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-08-04 18:01:56 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-08-04 18:01:56 +0200
commit96a2aae0068b936c455a32e0684edac99a4d6866 (patch)
tree6703971293fc223b80bf3a03f66ac1d37b85f884 /Makefile
parentea2c6d0e6af7b15a5eb5bd0f9fceff5169aae348 (diff)
Add a "dist" ruleHEADmaster
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile9
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..bf85479
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,9 @@
+VERSION := 1.0
+
+dist:
+ git archive \
+ --output="edit-config-$(VERSION).tar.gz" \
+ --prefix="edit-config-$(VERSION)/" \
+ HEAD
+
+.PHONY: dist