🩹 Remove .lock files from doc deployment

A `.lock` file gets left over during documentation deployments, which
is ultimately not useful. This removes it.

.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