archive generated doc if not deployed

pharo-project · Jan 25, 2024 · 0ede2e7 · 0ede2e7
1 parent 01062a0
commit 0ede2e7
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git 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
+          path: site
+        if: github.event.inputs.deploy-to-gh-pages == 'false'
diff --git 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