The doxygen documentation is created with command 'make doc' in toplevel directory.