zip the generated doc

rticommunity · Apr 29, 2024 · e2e2b15 · e2e2b15
1 parent 8cd177a
commit e2e2b15
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/generate_doc.yml b/.github/workflows/generate_doc.yml
@@ -47,10 +47,12 @@ jobs:
       - name: Build documentation
         run: sphinx-build -b html doc html
 
+      - name: Zip the documentation
+        run: zip ./documentation.zip html/*
+
       - name: Attach html documentation
         uses: actions/upload-artifact@v4
         with:
           name: documentation
-          path: |
-            ./html/*.*
+          path: documentation.zip