diff --git a/Makefile b/Makefile index 199161f..4631090 100644 --- a/Makefile +++ b/Makefile @@ -108,9 +108,17 @@ clean: update: @echo "*** updating ivoatex from github" - cd ivoatex && git checkout master + cd ivoatex && git checkout master && git pull git submodule update --remote --rebase +tag: + git tag $(versionedName) + git push origin --tags $(versionedName) + +untag: + git tag -d $(versionedName) + git push origin :$(versionedName) + .FORCE: gitmeta.tex: .FORCE