--- a/doc/Doxyfile.in 2019-08-30 08:12:37.003400933 +0100 --- b/doc/Doxyfile.in 2019-08-30 08:22:57.052160259 +0100 @@ -121,7 +121,7 @@ # path before files name in the file list and in the header files. If set # to NO the shortest path that makes the file name unique will be used. -FULL_PATH_NAMES = YES +FULL_PATH_NAMES = NO # If the FULL_PATH_NAMES tag is set to YES then the STRIP_FROM_PATH tag # can be used to strip a user-defined part of the path. Stripping is