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