Skip to content
Snippets Groups Projects
Verified Commit 2558c36d authored by Laurent Heirendt's avatar Laurent Heirendt :airplane:
Browse files

strip titles of numbers

parent 922aca98
No related branches found
No related tags found
2 merge requests!183[release] Regular merge of develop,!182Add specifics for handbook
Pipeline #35067 passed
......@@ -9,6 +9,10 @@ def line_prepender(filename, line):
f.write(line.rstrip('\r\n') + '\n' + content)
def build_link(title, href):
# strip the number of the title
title = re.sub('[0-9.]', '', title).strip()
return f'\t\t\t<li><a href="{href}">{title}</a></li>\n'
def build_section_start(title, shortcut):
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment