Update HEAD Doxygen documentation.
Source commit id: eefab112d1871ed08eebc04ede4e5d72f4ee4b1e