diff --git a/aux-file-data.sh b/aux-file-data.sh
old mode 100644
new mode 100755
diff --git a/git-version.sh b/git-version.sh
old mode 100644
new mode 100755
diff --git a/make-aux-files.sh b/make-aux-files.sh
old mode 100644
new mode 100755
diff --git a/obfuscate.sh b/obfuscate.sh
old mode 100644
new mode 100755
diff --git a/pdf-fixups.sh b/pdf-fixups.sh
old mode 100644
new mode 100755
diff --git a/process-scripts.sh b/process-scripts.sh
old mode 100644
new mode 100755