diff options
| author | mid-kid <esteve.varela@gmail.com> | 2019-06-09 00:05:32 +0200 |
|---|---|---|
| committer | mid-kid <esteve.varela@gmail.com> | 2019-06-09 00:17:35 +0200 |
| commit | 54b87ecea87916bd140c0c6197eb203df9992221 (patch) | |
| tree | 8b2b9282fc19e8e27baef6bc98112204c1a7f13f /tools/toc.py | |
| parent | c7fdf5f9ec4eb6597278fc234dbd2349b893f528 (diff) | |
Document in-battle move selection menu scrolling glitch
What a mouthful...
Diffstat (limited to 'tools/toc.py')
| -rwxr-xr-x | tools/toc.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/toc.py b/tools/toc.py index 8ff50be94..13b75ae1c 100755 --- a/tools/toc.py +++ b/tools/toc.py @@ -17,6 +17,7 @@ valid_toc_headings = {'## TOC', '##TOC'} TocItem = namedtuple('TocItem', ['name', 'anchor', 'level']) punctuation_regexp = re.compile(r'[^\w\- ]+') +specialchar_regexp = re.compile(r'[⅔]+') def name_to_anchor(name): # GitHub's algorithm for generating anchors from headings @@ -24,6 +25,7 @@ def name_to_anchor(name): anchor = name.strip().lower() # lowercase anchor = re.sub(punctuation_regexp, '', anchor) # remove punctuation anchor = anchor.replace(' ', '-') # replace spaces with dash + anchor = re.sub(specialchar_regexp, '', anchor) # remove misc special chars return anchor def get_toc_index(lines): |