diff --git a/Makefile b/Makefile index 98b73575b..01e200dd2 100644 --- a/Makefile +++ b/Makefile @@ -297,6 +297,7 @@ release: make pushreleasetag TAG=$(TAG) git push origin maint git checkout master + git merge -s ours maint UTILITIES/set-version.pl -o $(TAG) git commit -a -m "Update website to show $(TAG) as current release" git push