summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Bernoulli <jonas@bernoul.li>2024-08-16 21:58:13 +0200
committerJonas Bernoulli <jonas@bernoul.li>2024-08-16 21:58:13 +0200
commit4fa6c31c8f8e3fb5536334bac9d62b652dfb5634 (patch)
tree6697fd6ea8b1c54983bf78e326c127b1702d4370
parent7189486efbd16b34a599075ec9c5e4f0bab2d656 (diff)
make release: Don't pass along $VERSION
This currently isn't being used.
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 865b143..bdcd567 100644
--- a/Makefile
+++ b/Makefile
@@ -46,7 +46,7 @@ pdf:
publish:
@$(MAKE) -C docs publish
release:
- @$(MAKE) VERSION=$(VERSION) -C docs release
+ @$(MAKE) -C docs release
stats:
@$(MAKE) -C docs stats