diff --git a/doc/doxygen/Doxylocal b/doc/doxygen/Doxylocal index fa7efb8329f528cc6913a3319f9321656f996c7d..02ceff3709e33fb46f721d5073845a42dc637115 100644 --- a/doc/doxygen/Doxylocal +++ b/doc/doxygen/Doxylocal @@ -46,3 +46,6 @@ PREDEFINED += "DUNE_DEPRECATED:=/** \deprecated */" \ "DUNE_DEPRECATED_MSG(A):=/** \deprecated A */" DOT_GRAPH_MAX_NODES = 100 + +# uncomment for the website +# SHORT_NAMES = NO