Updated doxygen for ' 1ba23c7 Fix for using clock_gettime on Linux. ' build 528