documentation/doxygen: since 1.9.2, HAVE_DOT has to be explicitly set.

Kinda silly to require that even for the XML output, where Graphviz
doesn't actually need to be used at all -- the content/files are pasted
verbatim.

diff --git a/doc/documentation/doxygen.rst b/doc/documentation/doxygen.rst
index f8900d5b9f0f30dbc371eb6b71997bc61b6bf26f..7e2400f62a9e908714cb08ab85142f71b1104ad2 100644 (file)
--- a/doc/documentation/doxygen.rst
+++ b/doc/documentation/doxygen.rst
@@ -862,6 +862,9 @@ theme:
 
     DOT_FONTNAME = Source Sans Pro
     DOT_FONTSIZE = 16.0
+    # Required to be explicitly set since Doxygen 1.9.2, otherwise the graphs
+    # won't be included in the output
+    HAVE_DOT = YES
 
 See documentation of the `m.dot <{filename}/plugins/plots-and-graphs.rst#graphs>`_
 plugin for detailed information about behavior and supported features.

diff --git a/documentation/test_doxygen/contents_custom/Doxyfile b/documentation/test_doxygen/contents_custom/Doxyfile
index b0b794990aec8f620733e0a0cbb5ef71cf93d775..ea91114a6d2be5f778aa9c061701eabd6a236361 100644 (file)
--- a/documentation/test_doxygen/contents_custom/Doxyfile
+++ b/documentation/test_doxygen/contents_custom/Doxyfile
@@ -10,6 +10,10 @@ CASE_SENSE_NAMES        = YES
 DOTFILE_DIRS            = .
 DOT_FONTNAME            = DejaVu Sans
 DOT_FONTSIZE            = 16
+# Needs to be set since 1.9.2, before that the dot output was included in the
+# XML unconditionally. Funny since passing the data to the XML doesn't actually
+# need Graphviz at all.
+HAVE_DOT                = YES
 
 ##! M_PAGE_FINE_PRINT   =
 ##! M_THEME_COLOR       =

diff --git a/documentation/test_doxygen/contents_dot/Doxyfile b/documentation/test_doxygen/contents_dot/Doxyfile
index 8b0aa652d3cd4777f5f4202e6124bad31c4e6c9c..cb2a21468fddfbab4a8f310629803e88f59b5d32 100644 (file)
--- a/documentation/test_doxygen/contents_dot/Doxyfile
+++ b/documentation/test_doxygen/contents_dot/Doxyfile
@@ -9,6 +9,10 @@ CASE_SENSE_NAMES        = YES
 DOTFILE_DIRS            = .
 DOT_FONTNAME            = DejaVu Sans
 DOT_FONTSIZE            = 16
+# Needs to be set since 1.9.2, before that the dot output was included in the
+# XML unconditionally. Funny since passing the data to the XML doesn't actually
+# need Graphviz at all.
+HAVE_DOT                = YES
 
 ##! M_PAGE_FINE_PRINT   =
 ##! M_THEME_COLOR       =