diff options
| author | Ralph Amissah <ralph.amissah@gmail.com> | 2023-11-15 22:09:40 -0500 |
|---|---|---|
| committer | Ralph Amissah <ralph.amissah@gmail.com> | 2023-11-15 22:09:40 -0500 |
| commit | e0a48ea7c2fb3a046167e3904a3209a12e463c8f (patch) | |
| tree | 87029343475b30d06f632a1e3784ca2df6a98310 /makefile | |
| parent | nix housekeeping (diff) | |
0.13.0
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 \ |