mirror.MikroTik/ansible-collections.community.routeros
1
0
Fork 0
mirror of https://github.com/ansible-collections/community.routeros.git synced 2025-08-03 09:44:49 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Improve docsite build.

Browse source
This commit is contained in:
Felix Fontein 2022-12-18 21:50:43 +01:00
parent 282439b356
commit 8e3b19759d
2 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/docs-pr.yml vendored
View file

@ -25,6 +25,12 @@ jobs:
init-lenient: false
init-fail-on-error: true
squash-hierarchy: true
init-project: Community.Routeros Collection
init-copyright: Community.Routeros Contributors
init-title: Community.Routeros Collection Documentation
init-html-short-title: Community.Routeros Collection Docs
init-extra-html-theme-options: |
documentation_home_url=https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/branch/main/
render-file-line: '> * `$<status>` [$<path_tail>](https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/pr/${{ github.event.number }}/$<path_tail>)'
publish-docs-gh-pages:

6
.github/workflows/docs-push.yml vendored
View file

@ -31,6 +31,12 @@ jobs:
init-lenient: false
init-fail-on-error: true
squash-hierarchy: true
init-project: Community.Routeros Collection
init-copyright: Community.Routeros Contributors
init-title: Community.Routeros Collection Documentation
init-html-short-title: Community.Routeros Collection Docs
init-extra-html-theme-options: |
documentation_home_url=https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/branch/main/
publish-docs-gh-pages:
# for now we won't run this on forks