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