diff --git a/.gitignore b/.gitignore old mode 100644 new mode 100755 diff --git a/generate-pdf.sh b/generate-pdf.sh old mode 100644 new mode 100755 diff --git a/generate-sources-and-gitignore.sh b/generate-sources-and-gitignore.sh old mode 100644 new mode 100755 diff --git a/sources b/sources old mode 100644 new mode 100755