diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-04 18:01:56 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-04 18:01:56 +0200 |
| commit | 96a2aae0068b936c455a32e0684edac99a4d6866 (patch) | |
| tree | 6703971293fc223b80bf3a03f66ac1d37b85f884 | |
| parent | ea2c6d0e6af7b15a5eb5bd0f9fceff5169aae348 (diff) | |
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefile | 9 |
2 files changed, 10 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c32b546 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +*.tar.gz
\ No newline at end of file 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 |