make release: Don't pass along $VERSION

tarsius · tarsius · commit 103eae467577 · 2024-08-16T21:42:11.000+02:00
This currently isn't being used.
diff --git 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
