diff --git a/doc/doxygen/Doxylocal b/doc/doxygen/Doxylocal new file mode 100644 index 0000000000000000000000000000000000000000..279de6adfc09d4ffe7bd6b01945854d57f15e086 --- /dev/null +++ b/doc/doxygen/Doxylocal @@ -0,0 +1,6 @@ +INPUT += @top_srcdir@/dune/contact +EXCLUDE += +EXAMPLE_PATH += +EXAMPLE_PATTERNS += +IMAGE_PATH += +PREDEFINED += DOXYGEN