diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 \ |