Scripts : Changed shebang /bin/sh by /bin/bash specifically
-rw-r--r-- 21 .gitignore
-rwxr-xr-x 590 buildDoc.sh
-rwxr-xr-x 3335 buildDocExports.sh
-rwxr-xr-x 1049 checkDocExportsNecessity.sh
-rwxr-xr-x 632 checkUpgrade.sh
drwxr-xr-x - config.local
drwxr-xr-x - doc
drwxr-xr-x - lsexample
drwxr-xr-x - public_html
-rwxr-xr-x 5986 upgradeFromGit.sh