Add doclib/doxygen.sh dependency to documentation build Fix doclib/doxygen.sh shell (bash instead of sh)
