diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1301,8 +1301,8 @@ gitsnapshot: distclean tangle git commit -a version_tag: - echo "DRV=0.16.0; git tag -f sisudoc-spine_v$$\{DRV} -m\"doc-reform sisudoc spine-$$\{DRV}\" HEAD"; \ - echo "git tag -f sisudoc-spine_v0.16.0 -m\"doc-reform sisudoc spine-0.16.0\" HEAD" + echo "DRV=0.17.0; git tag -f sisudoc-spine_v$$\{DRV} -m\"doc-reform sisudoc spine-$$\{DRV}\" HEAD"; \ + echo "git tag -f sisudoc-spine_v0.17.0 -m\"doc-reform sisudoc spine-0.17.0\" HEAD" .PHONY : all build rebuild release \ distclean init \ |