diff --git a/docs/build-manual.py b/docs/build-manual.py index 979df64..29b8999 100644 --- a/docs/build-manual.py +++ b/docs/build-manual.py @@ -385,6 +385,32 @@ def _prettify_block(block: list[str], entry_name: str | None) -> str: return "\n\n".join(chunk for chunk in out if chunk.strip()) +ASIDE_LABELS: dict[str, tuple[str, str, str | None]] = { + "NOTE": ("note", "Note", None), + "IMPORTANT": ("note", "Important", "star"), + "TIP": ("tip", "Tip", None), + "HINT": ("tip", "Hint", "question-circle"), + "WARNING": ("caution", "Warning", "warning"), + "CAUTION": ("caution", "Caution", None), + "DANGER": ("danger", "Danger", None), +} +ASIDE_RE = re.compile(rf"^({'|'.join(ASIDE_LABELS)}):\s*(.*)$") + + +def _as_aside(para: list[str]) -> str | None: + """Render a `LABEL: ...` flat paragraph as a Starlight