diff --git a/docs/build.gradle b/docs/build.gradle index b5cafb3305..db86b5d833 100644 --- a/docs/build.gradle +++ b/docs/build.gradle @@ -64,6 +64,7 @@ doxygen { warn_logfile false warn_if_undocumented false generate_latex false + use_mathjax true html_timestamp true generate_treeview true }