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