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

directory.