This directory contains utility scripts to prepare our documentation for the MkDocs build process.
To ensure a great reading experience both on GitHub and the hosted site, we use GitHub-flavored Markdown as our primary source of truth. This script transforms GitHub's native syntax into MkDocs-compatible syntax (specifically for the pymdown-extensions) during the build pipeline.
The script performs a uni-directional transformation: GitHub Markdown → MkDocs Syntax.
- GitHub uses a blockquote-based syntax for alerts.
- MkDocs requires the
!!!or???syntax to render colored callout boxes.
The conversion is run as part of the build pipeline. No additional steps are required. If you need to run the conversion manually, you can run the convert_docs.py script in the repository root.
python docs/scripts/convert_docs.py-
Source (GitHub-flavored Markdown):
> ⚠️ **Attention** > > This is an alert.
-
Target (MkDocs Syntax):
!!! warning "Attention" This is an alert.