aboutsummaryrefslogtreecommitdiffhomepage
path: root/makefile
diff options
context:
space:
mode:
authorRalph Amissah <ralph.amissah@gmail.com>2026-09-09 20:30:30 -0400
committerRalph Amissah <ralph.amissah@gmail.com>2026-09-10 10:09:45 -0400
commit7db6602eaadaf69c2882528473bd8694592c1b2c (patch)
tree2b3a698ace2373c16fc6497c0234f042f3a972b0 /makefile
parent--serial default behaviour (--parallel an option) (diff)
Diffstat (limited to 'makefile')
-rw-r--r--makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/makefile b/makefile
index f1f8b6e..66bded1 100644
--- a/makefile
+++ b/makefile
@@ -1301,8 +1301,8 @@ gitsnapshot: distclean tangle
git commit -a
version_tag:
- echo "DRV=0.22.0; git tag -f sisudoc-spine_v$$\{DRV} -m\"doc-reform sisudoc spine-$$\{DRV}\" HEAD"; \
- echo "git tag -f sisudoc-spine_v0.22.0 -m\"doc-reform sisudoc spine-0.22.0\" HEAD"
+ echo "DRV=0.23.0; git tag -f sisudoc-spine_v$$\{DRV} -m\"doc-reform sisudoc spine-$$\{DRV}\" HEAD"; \
+ echo "git tag -f sisudoc-spine_v0.23.0 -m\"doc-reform sisudoc spine-0.23.0\" HEAD"
.PHONY : all build rebuild release \
distclean init \