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,8 +255,6 @@ jobs:
255255 pip install mkdocs
256256 pip install mkdocs-git-revision-date-localized-plugin
257257 pip install mkdocs-material
258- # pip install mike
259- # using develop version of mike - see https://github.com/jimporter/mike/issues/123
260258 pip install git+https://github.com/jimporter/mike.git
261259 mike deploy -p develop
262260
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
44- # using develop version of mike - see https://github.com/jimporter/mike/issues/123
4543 pip install git+https://github.com/jimporter/mike.git
4644 mike deploy -p -u ${UTPLSQL_VERSION} latest
4745 mkdocs build --clean -f mkdocs_offline.yml
You can’t perform that action at this time.
0 commit comments