Update run_doxygen.sh