doc/run_doxygen.sh : fix parsing [build-doxygen]