aboutsummaryrefslogtreecommitdiffhomepage
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/makefile b/makefile
index 970a722..966cb64 100644
--- a/makefile
+++ b/makefile
@@ -1298,8 +1298,8 @@ gitsnapshot: distclean tangle
git commit -a
version_tag:
- echo "DRV=0.12.0; git tag -f doc-reform_v$$\{DRV} -m\"doc-reform spine-$$\{DRV}\" HEAD"; \
- echo "git tag -f doc-reform_v0.12.0 -m\"doc-reform spine-0.12.0\" HEAD"
+ echo "DRV=0.13.0; git tag -f doc-reform_v$$\{DRV} -m\"doc-reform spine-$$\{DRV}\" HEAD"; \
+ echo "git tag -f doc-reform_v0.13.0 -m\"doc-reform spine-0.13.0\" HEAD"
.PHONY : all build rebuild release \
distclean init \