From 0ede2e7088fbda4e5a2c4e35d02c7694c9262450 Mon Sep 17 00:00:00 2001 From: Christophe Demarey Date: Thu, 25 Jan 2024 19:18:37 +0100 Subject: [PATCH] archive generated doc if not deployed --- .github/workflows/doc.yml | 7 ++++++- mkdocs.yml | 3 ++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index aa6f4b8b..bd9a43cf 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -2,6 +2,10 @@ name: documentation on: # Allows you to run this workflow manually from the Actions tab workflow_dispatch: + inputs: + deploy-to-gh-pages: + type: boolean + description: Deploy the documentation built with mkdocs to GitHub pages? jobs: build: @@ -16,4 +20,5 @@ jobs: - uses: actions/upload-artifact@v3 with: name: pharo-launcher-documentation - path: site \ No newline at end of file + path: site + if: github.event.inputs.deploy-to-gh-pages == 'false' \ No newline at end of file diff --git a/mkdocs.yml b/mkdocs.yml index 1f2fbc85..5dd05b2d 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -1,6 +1,7 @@ site_name: Pharo Launcher documentation repo_url: https://github.com/pharo-project/pharo-launcher/ -edit_uri: edit/dev/docs/ +docs_dir: doc +edit_uri: edit/dev/doc/ nav: - Home: index.md - installation.md