diff -r 7dfa5bcf39ee -r 88a9ee79c102 make/project.xml --- a/make/project.xml Wed Jan 22 21:02:46 2025 +0100 +++ b/make/project.xml Thu Jan 23 01:15:52 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