mirror of
https://github.com/lvgl/lvgl.git
synced 2025-01-28 07:03:00 +08:00
Fix GitHub links
This commit is contained in:
parent
2d09196d2d
commit
bc6c20618e
@ -23,12 +23,13 @@ def cmd(s):
|
|||||||
|
|
||||||
# Get the current branch name
|
# Get the current branch name
|
||||||
status, br = subprocess.getstatusoutput("git branch | grep '*'")
|
status, br = subprocess.getstatusoutput("git branch | grep '*'")
|
||||||
|
gitcommit = subprocess.getstatusoutput("git rev-parse HEAD")
|
||||||
br = re.sub('\* ', '', br)
|
br = re.sub('\* ', '', br)
|
||||||
urlpath = re.sub('release/', '', br)
|
urlpath = re.sub('release/', '', br)
|
||||||
|
|
||||||
# Be sure the github links point to the right branch
|
# Be sure the github links point to the right branch
|
||||||
f = open("header.rst", "w")
|
f = open("header.rst", "w")
|
||||||
f.write(".. |github_link_base| replace:: https://github.com/lvgl/lvgl/blob/docs/" + br)
|
f.write(".. |github_link_base| replace:: https://github.com/lvgl/lvgl/blob/" + gitcommit + "/docs")
|
||||||
f.close()
|
f.close()
|
||||||
|
|
||||||
base_html = "html_baseurl = 'https://docs.lvgl.io/" + urlpath + "/en/html/'"
|
base_html = "html_baseurl = 'https://docs.lvgl.io/" + urlpath + "/en/html/'"
|
||||||
|
Loading…
x
Reference in New Issue
Block a user