See doc/doxygen/index.html .
