diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2022-09-12 04:14:19 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-12 04:14:19 -0400 |
commit | 5973e6db72b640a7c951eab1ca17d3c9c87aee4b (patch) | |
tree | 54ff11a2c7439baed2774bd703e175e9de20c80a /docs/requirements.txt | |
parent | 72189185b6723ecc3c837f08007752f9dd2a8151 (diff) |
docs: adjust dev doc file structure, add build and deploy docs (#804)
* docs: add separate section on development
* docs: update instructions on writing docs
* docs: add build and deploy docs
Diffstat (limited to 'docs/requirements.txt')
-rw-r--r-- | docs/requirements.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/requirements.txt b/docs/requirements.txt index 4bee404c..d608a3f7 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1,5 +1,5 @@ mkdocs == 1.3.1 mkdocs-material == 8.4.0 mkdocs-material-extensions == 1.0.3 -mdx_truly_sane_lists == 1.2 +mdx_truly_sane_lists == 1.3 mike == 1.1.2 |