File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -255,7 +255,9 @@ jobs:
255255 pip install mkdocs
256256 pip install mkdocs-git-revision-date-localized-plugin
257257 pip install mkdocs-material
258- pip install mike
258+ # pip install mike
259+ # using develop version of mike - see https://github.com/jimporter/mike/issues/123
260+ pip install git+https://github.com/jimporter/mike.git
259261 mike deploy -p develop
260262
261263 dispatch :
Original file line number Diff line number Diff line change 4040 pip install mkdocs
4141 pip install mkdocs-git-revision-date-localized-plugin
4242 pip install mkdocs-material
43- pip install mike
43+ # pip install mike
44+ # using develop version of mike - see https://github.com/jimporter/mike/issues/123
45+ pip install git+https://github.com/jimporter/mike.git
4446 mike deploy -p -u ${UTPLSQL_VERSION} latest
4547 mkdocs build --clean -f mkdocs_offline.yml
4648 rm -rf docs/*
You can’t perform that action at this time.
0 commit comments