diff --git a/setup/build_linux b/setup/build_linux
index 83e4ca33..1211be7a 100755
--- a/setup/build_linux
+++ b/setup/build_linux
@@ -59,7 +59,7 @@ function cleanup() {
 
 function fix_kit_permissions() {
   # GitHub zip archives don't preserve the correct permissions
-  for d in docs images scripts setup; do
+  for d in images scripts setup; do
     find "$ROOT_DIR/$d" -type d -exec chmod 755 "{}" \;
   done
 }