diff -r 0f70bb04f7ba -r b0300de92b72 make/project.xml --- a/make/project.xml Tue Feb 11 19:51:02 2025 +0100 +++ b/make/project.xml Tue Feb 11 19:55:32 2025 +0100 @@ -3,7 +3,6 @@ pwd command -v doxygen - command -v pandoc @@ -75,11 +74,6 @@ DOXYGEN=$DOXYGEN - - test -n "$PANDOC" - PANDOC=$PANDOC - - \${COVERAGE_CFLAGS} \${COVERAGE_LDFLAGS} @@ -91,35 +85,13 @@ - + + doxygen + + # Documentation + WITH_API_DOCS=yes + + coverage