update release.py

2020-08-04 09:57:29 +02:00
parent ec7397e4a0
commit ad422250db
1 changed files with 1 additions and 0 deletions
--- 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')