Merge pull request #519 from zsnmwy/instant_page

docs: instant page
gocrane · Aug 23, 2022 · 6a722c0 · 6a722c0
2 parents 149f15d + 65dc3d3
commit 6a722c0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/docs/assets/instant.page.5.1.1.js b/docs/assets/instant.page.5.1.1.js
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -18,6 +18,7 @@ extra_javascript:
   - assets/mathjax.js
   - assets/polyfill.min.js
   - assets/tex-mml-chtml.js
+  - assets/instant.page.5.1.1.js
 extra_css:
   - assets/util.css
 extra: