diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2021-10-10 18:16:21 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-10 18:16:21 -0400 |
commit | 65d3dd7af52d715a3fa4a411de3ac7770124af5f (patch) | |
tree | 049a46293517f0bef4711a1b551b3618d246e9bf /docs | |
parent | a362b6c9dd1d7b30513add75d94f218df9200fa9 (diff) |
ci: simplify python dependency step for release/doc pipeline (#596)
Slightly simplifies the whole Python dependency step for pipelines generating mkdocs.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/requirements.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/requirements.txt b/docs/requirements.txt new file mode 100644 index 00000000..b29234b0 --- /dev/null +++ b/docs/requirements.txt @@ -0,0 +1,3 @@ +mkdocs-material == 7.3.2 +mdx_truly_sane_lists == 1.2 +mike == 1.1.2
\ No newline at end of file |