diff options
| author | River M <[email protected]> | 2023-04-06 19:47:06 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-04-07 12:47:06 +1000 |
| commit | da52357d87162030abf1ac5bced041fa6ef75c96 (patch) | |
| tree | 46d35e0892e5febce71b12ea58c781bebaaa1bc8 | |
| parent | 8c90d3dee209ab6f5174dae33e17d3ea06ab9dc5 (diff) | |
| download | IronOS-da52357d87162030abf1ac5bced041fa6ef75c96.tar.gz IronOS-da52357d87162030abf1ac5bced041fa6ef75c96.zip | |
add plugins for mkdocs features (#1650)
| -rw-r--r-- | .github/workflows/docs.yml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 8af8318b..d84ff21e 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -28,8 +28,12 @@ jobs: fetch-depth: 0 - uses: actions/setup-python@v4 - - run: pip install --upgrade pip && pip install mkdocs mkdocs-gen-files + - run: | + pip install --upgrade pip && + pip install mkdocs mkdocs-gen-files pymdown-extensions \ + mkdocs-git-revision-date-plugin mkdocs-autolinks-plugin \ + mkdocs-awesome-pages-plugin - run: git config user.name 'github-actions[bot]' && git config user.email 'github-actions[bot]@users.noreply.github.com' - name: Publish docs - run: mkdocs gh-deploy
\ No newline at end of file + run: mkdocs gh-deploy |