diff --git a/docs/user/Makefile b/docs/user/Makefile new file mode 100644 index 0000000000..fead8c200e --- /dev/null +++ b/docs/user/Makefile @@ -0,0 +1,12 @@ +define DEVELOP_CONFIG +HIDE_UNDOC_MEMBERS = NO +HIDE_UNDOC_CLASSES = NO +ENABLED_SECTIONS = INTERNAL +WARN_LOGFILE = "../../generated/doxygen/warnings.txt" +GENERATE_XML = YES +endef +export DEVELOP_CONFIG +default: + doxygen +develop: + (cat Doxyfile; echo "$$DEVELOP_CONFIG") | doxygen - \ No newline at end of file