aboutsummaryrefslogtreecommitdiffhomepage
path: root/makefile
diff options
context:
space:
mode:
authorRalph Amissah <ralph.amissah@gmail.com>2024-04-10 11:54:02 -0400
committerRalph Amissah <ralph.amissah@gmail.com>2024-04-10 22:07:19 -0400
commit3340de44455c58ce8b029c4b88bf2a7af6957548 (patch)
tree96824984953d316c64b8aee68460026abe38f8d3 /makefile
parentflake.nix cosmetic minor (diff)
Diffstat (limited to 'makefile')
-rw-r--r--makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/makefile b/makefile
index 172ef7a..a007e42 100644
--- a/makefile
+++ b/makefile
@@ -1298,8 +1298,8 @@ gitsnapshot: distclean tangle
git commit -a
version_tag:
- echo "DRV=0.14.0; git tag -f doc-reform_v$$\{DRV} -m\"doc-reform spine-$$\{DRV}\" HEAD"; \
- echo "git tag -f doc-reform_v0.14.0 -m\"doc-reform spine-0.14.0\" HEAD"
+ echo "DRV=0.15.0; git tag -f doc-reform_v$$\{DRV} -m\"doc-reform spine-$$\{DRV}\" HEAD"; \
+ echo "git tag -f doc-reform_v0.15.0 -m\"doc-reform spine-0.15.0\" HEAD"
.PHONY : all build rebuild release \
distclean init \