mirror of
https://github.com/jeertmans/manim-slides.git
synced 2025-08-06 14:19:52 +08:00
04bca458f1
* chore(ci): checking links and spell checking * chore(ci): move markdown-link-check to GitHub ci Because pre-commit.ci does not have access to the internet... * fix(lib): revert `reverse-...` utils because of warnings * chore(ci): checking links and spell checking * chore(ci): move markdown-link-check to GitHub ci Because pre-commit.ci does not have access to the internet... * fix(docs): myst-parser xref cannot end with .html * fix(docs): oops
9 lines
158 B
JSON
9 lines
158 B
JSON
{
|
|
"replacementPatterns": [
|
|
{
|
|
"pattern": "^/(?<path>.*)$",
|
|
"replacement": "https://eertmans.be/manim-slides/latest/$<path>.html"
|
|
}
|
|
]
|
|
}
|