aboutsummaryrefslogtreecommitdiffhomepage
path: root/makefile
diff options
context:
space:
mode:
authorRalph Amissah <ralph.amissah@gmail.com>2026-10-01 11:13:18 -0400
committerRalph Amissah <ralph.amissah@gmail.com>2026-10-01 11:13:18 -0400
commitd61360a444e2525fec31784dfae55f3ddfcbad09 (patch)
tree8982a1c57255a148774ff3dfceee114ac16abbaa /makefile
parentdlang related overlay updates (diff)
Diffstat (limited to 'makefile')
-rw-r--r--makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/makefile b/makefile
index 28b4394..a72f33b 100644
--- a/makefile
+++ b/makefile
@@ -1301,8 +1301,8 @@ gitsnapshot: distclean tangle
git commit -a
version_tag:
- echo "DRV=0.25.1; git tag -f sisudoc-spine_v$$\{DRV} -m\"doc-reform sisudoc spine-$$\{DRV}\" HEAD"; \
- echo "git tag -f sisudoc-spine_v0.25.1 -m\"doc-reform sisudoc spine-0.25.1\" HEAD"
+ echo "DRV=0.25.2; git tag -f sisudoc-spine_v$$\{DRV} -m\"doc-reform sisudoc spine-$$\{DRV}\" HEAD"; \
+ echo "git tag -f sisudoc-spine_v0.25.2 -m\"doc-reform sisudoc spine-0.25.2\" HEAD"
.PHONY : all build rebuild release \
distclean init \