Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

add plugins for mkdocs features #1650

Merged
merged 27 commits into from
Apr 7, 2023
Merged
Changes from all commits
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
0807895
fix: edit button mkdocs
River-Mochi Apr 2, 2023
fefbea0
fix: edit button on mkdocs
River-Mochi Apr 2, 2023
cc80af1
add favicons for the mkdocs
River-Mochi Apr 3, 2023
5aceb19
Delete android-chrome-192x192.png
River-Mochi Apr 3, 2023
c4d4f2d
Delete android-chrome-512x512.png
River-Mochi Apr 3, 2023
5d78ae0
Delete favicon-16x16.png
River-Mochi Apr 3, 2023
8dad976
Delete favicon.ico
River-Mochi Apr 3, 2023
2b00347
Delete favicon-32x32.png
River-Mochi Apr 3, 2023
51e46fd
Delete apple-touch-icon.png
River-Mochi Apr 3, 2023
fc2cdaf
Create temp
River-Mochi Apr 3, 2023
ca8dff7
add favicon for mkdocs
River-Mochi Apr 3, 2023
0d68a00
mkdocs - highlighting for source code
River-Mochi Apr 3, 2023
f786c74
Delete temp
River-Mochi Apr 3, 2023
c996173
Add files via upload
River-Mochi Apr 3, 2023
88d9486
organize mkdocs
River-Mochi Apr 4, 2023
10dc412
add mkdocs extensions & plugins
River-Mochi Apr 4, 2023
b23d671
remove favicon
River-Mochi Apr 4, 2023
09b8a2a
Delete favicon.ico
River-Mochi Apr 4, 2023
9dd331a
Delete font-license.txt
River-Mochi Apr 4, 2023
78861b4
Merge branch 'Ralim:dev' into dev
River-Mochi Apr 4, 2023
f305d17
fix mkdocs for markdown extensions
River-Mochi Apr 5, 2023
40dcbe0
add plugins to mkdocs
River-Mochi Apr 5, 2023
82cf808
add mkdocs git-revision-date
River-Mochi Apr 5, 2023
549f17d
add plugins for MKdocs
River-Mochi Apr 7, 2023
f338862
clean up mkdocs plugins
River-Mochi Apr 7, 2023
9c459a7
fix pip install comand
River-Mochi Apr 7, 2023
47236ee
Merge branch 'dev' into dev
Ralim Apr 7, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 6 additions & 2 deletions .github/workflows/docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
run: mkdocs gh-deploy