diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-04 18:00:03 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-04 18:00:03 +0200 |
| commit | 8272a61f1d62922bd18ccdd77e32b38039beded5 (patch) | |
| tree | 3d15fec3057951203c8325b889a2d7569404d537 | |
| parent | 6e0ea1519aaca4c449d8a734951d7f71e447b7f2 (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..09a0acf --- /dev/null +++ b/Makefile @@ -0,0 +1,9 @@ +VERSION := 1.1 + +dist: + git archive \ + --output="create-license-$(VERSION).tar.gz" \ + --prefix="create-license-$(VERSION)/" \ + HEAD + +.PHONY: dist |