🩹 Remove .lock files from doc deployment

A `.lock` file gets left over during documentation deployments, which
is ultimately not useful. This removes it, since this has the wrong
permission (`0650`) and triggers warnings on deployment -- but fixing
this permission isn't worth it since the file should not exist anyway.

.github/workflows/docs.yaml

@@ -66,6 +66,7 @@ jobs:
       - name: Fix permissions
         run: |
           find ./target -type d -exec chmod 0755 {} \;
+          find ./target -type f -name '.lock' -delete
 
       - name: Upload Pages Artifact
         if: inputs.skip-publish != true