diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml index 0d0ecf2..1d1c750 100644 --- a/.github/workflows/publish-docs.yml +++ b/.github/workflows/publish-docs.yml @@ -8,7 +8,7 @@ name: publish-docs on: push: - branches: [ carfield/main ] + branches: [ carfield/main, workflow_dispatch ] workflow_dispatch: jobs: diff --git a/mkdocs.yml b/mkdocs.yml index 2697ca4..8b15542 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -18,7 +18,7 @@ theme: - navigation.indexes - navigation.footer -repo_url: https://iis-git.ee.ethz.ch/hero/hero-tools/ +repo_url: https://github.com/pulp-platform/hero-tools repo_name: hero-tools nav: diff --git a/requirements.txt b/requirements.txt new file mode 100644 index 0000000..973b2f8 --- /dev/null +++ b/requirements.txt @@ -0,0 +1,3 @@ +mkdocs +mkdocs-material +mkdocs-glightbox