diff options
| author | Ha Thach <[email protected]> | 2026-06-04 21:19:17 +0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2026-06-04 21:19:17 +0700 |
| commit | a105f9d099fe4f4f3dd35157798d6bc0928591bb (patch) | |
| tree | b7e1a80456bc8a8331537c137f35522c5d0fb5c6 /docs/conf.py | |
| parent | ac32feafeb2fb0f6cc5c3010d32db319ff15ca64 (diff) | |
| parent | e2100b44d302d71401119de80d8a64a0d066e4ce (diff) | |
Merge pull request #3653 from hathach/ch32_warning
add device specific issues
Diffstat (limited to 'docs/conf.py')
| -rwxr-xr-x | docs/conf.py | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 9e9784fb7..86ddcf672 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -53,6 +53,25 @@ def preprocess_readme(): tgt = Path(__file__).parent.parent / "README_processed.rst" if src.exists(): content = src.read_text(encoding='utf-8') + # if the matching is inside a table, keep the table cell width by adding the same number of spaces in the end of the line + # match pattern: | ... `... <docs/...>`_ ... | + # change into: | ... `... <...>`_ ... | + def _rewrite_table_line(line): + if not (line.startswith('|') and line.rstrip().endswith('|')): + return line + + rewritten = re.sub(r"<docs/([^>]+)>", r"<\1>", line) + delta = len(line) - len(rewritten) - 1 # -1 for rst->html + + if delta > 0: + last_pipe = rewritten.rfind('|') + if last_pipe >= 0: + rewritten = rewritten[:last_pipe] + (' ' * delta) + rewritten[last_pipe:] + + return rewritten + + content = ''.join(_rewrite_table_line(line) for line in content.splitlines(keepends=True)) + content = re.sub(r"docs/", r"", content) content = re.sub(r"\.rst\b", r".html", content) if not content.endswith("\n"): |
