From 4dc8cc39a225fc3f41c129d201bab1bb6adb3971 Mon Sep 17 00:00:00 2001
From: Melanie Lipp <melanie.lipp@iws.uni-stuttgart.de>
Date: Wed, 6 May 2020 17:27:14 +0200
Subject: [PATCH] [docu][doxygen] Change dot image format from png (default) to
 svg to reduce the size of the doxygen html folder to less than 40 percent.

---
 doc/doxygen/Doxylocal | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/doxygen/Doxylocal b/doc/doxygen/Doxylocal
index 9b85a30f9f..9496adc73c 100644
--- a/doc/doxygen/Doxylocal
+++ b/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
-- 
GitLab