Misc/add install scripts to docs (#459)

prefix-dev · Nov 15, 2023 · 4062459 · 4062459
1 parent 4ccf6fe
commit 4062459
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -52,7 +52,7 @@ jobs:
       - name: Finalize documentation
         run: |
           touch site/.nojekyll
-          cp install/{install.sh,install.ps1} site
+          mkdir site/get && cp install/{install.sh,install.ps1} site/get
 
       # https://github.com/actions/upload-pages-artifact#file-permissions
       - run: chmod -c -R +rX site/