Fix media copy if there is no media

Author: carmiac

.github/workflows/build-and-deploy.yml

@@ -53,7 +53,7 @@ jobs:
           mkdir -p gh-pages/pdfs
           cp output/pdfs/*.pdf gh-pages/pdfs/ || true
           # Copy media
-          cp -r media gh-pages/
+          cp -r media gh-pages/ || true
           # Add custom theme link to all HTML files
           echo "Adding custom theme CSS to HTML files..."
           cd gh-pages