docs: add support for badge shortcodes in documentation

This will allow us to add little icons to various parts of the docs to denote when something is for a particular scheduler only.
2024-01-29 12:43:38 -05:00
parent 2e66cee50f
commit cf0623407c
4 changed files with 147 additions and 3 deletions
--- a/contrib/write-mkdocs
+++ b/contrib/write-mkdocs
@@ -6,7 +6,6 @@ import sys
 from collections.abc import Callable

 import yaml
-
 from bs4 import BeautifulSoup