bash / dash syntax fixed

Tried to build the documentation on my system with auto_build.sh but it didn't work!


./auto_build.sh: 32: function: not found

http://stackoverflow.com/questions/12468889/bash-script-error-function-not-found-why-would-this-appear

Now it works great!