diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
index 7cf6dee..385f5fa 100644
--- a/.github/workflows/build-docs.yml
+++ b/.github/workflows/build-docs.yml
@@ -9,10 +9,14 @@ on:
     # all branches
     paths:
       - 'documentation/**'
-      
+
   # This enables the Run Workflow button on the Actions tab.
   workflow_dispatch:
 
+# https://github.com/JamesIves/github-pages-deploy-action#readme
+permissions:
+    contents: write
+
 # Set DYLAN environment variable to GITHUB_WORKSPACE so packages are
 # installed in ../../_packages relative to documentation's Makefile
 env: