Update as Doxyfile 1.8.3.1.