From 4ccf6fe01b1ddad06ada4463cc9eed199240cf3e Mon Sep 17 00:00:00 2001
From: Ruben Arts <ruben.arts@hotmail.com>
Date: Wed, 15 Nov 2023 12:14:12 +0100
Subject: [PATCH] Add install scripts to the github pages (#458)

---
 .github/workflows/docs.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 993a636a0..484755351 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -12,7 +12,10 @@ on:
       - main
     paths:
       - 'docs/**'
+      - 'install/**'
+      - '.github/workflows/docs.yml'
       - 'mkdocs.yml'
+      - 'pixi.*'
   workflow_dispatch:
 
 
@@ -45,9 +48,11 @@ jobs:
 
       #  This adds the following:
       #   - A .nojekyll file to disable Jekyll GitHub Pages builds.
+      #   - Adds installation scripts to the pages webserver.
       - name: Finalize documentation
         run: |
           touch site/.nojekyll
+          cp install/{install.sh,install.ps1} site
 
       # https://github.com/actions/upload-pages-artifact#file-permissions
       - run: chmod -c -R +rX site/