Merge branch 'cleanup/doxygen_dot_image_format' into 'master'

[docu][doxygen] Change dot image format from png (default) to svg to reduce...

Closes #835

See merge request !2123

doc/doxygen/Doxylocal

@@ -28,6 +28,8 @@ HTML_HEADER            = @srcdir@/header.html
 
 HTML_EXTRA_STYLESHEET  = @srcdir@/customdoxygendumux.css
 
+HTML_FILE_EXTENSION    = .xhtml
+
 EXCLUDE_PATTERNS       =
 
 ALIASES               += "warning=\xrefitem warning \"Warning List\" \"Warning List\""
@@ -45,5 +47,7 @@ EXPAND_ONLY_PREDEF     = YES
 
 DOT_GRAPH_MAX_NODES    = 100
 
+DOT_IMAGE_FORMAT       = svg
+
 # uncomment for the website
 # SHORT_NAMES           = NO