From ad422250db859fa859c1d2393e454a967a77a65c Mon Sep 17 00:00:00 2001 From: Gabor Kiss-Vamosi Date: Tue, 4 Aug 2020 09:57:29 +0200 Subject: [PATCH] update release.py --- scripts/release.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/release.py b/scripts/release.py index d9917c5abd..dc3ceb2b65 100755 --- a/scripts/release.py +++ b/scripts/release.py @@ -215,6 +215,7 @@ def docs_merge_to_release_branch(v): title("docs: merge to release branch") cmd('git co release/v7 --') cmd('git clean -fd .') + cmd('rm -f LVGL.pdf') #To avoide possible merge conflict cmd('git merge latest') cmd('git push origin release/v7')