--- 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 @@ <config> <var name="root_dir" exec="true">pwd</var> <var name="DOXYGEN" exec="true">command -v doxygen</var> - <var name="PANDOC" exec="true">command -v pandoc</var> </config> <dependency> @@ -75,11 +74,6 @@ <make>DOXYGEN=$DOXYGEN</make> </dependency> - <dependency name="pandoc"> - <test>test -n "$PANDOC"</test> - <make>PANDOC=$PANDOC</make> - </dependency> - <dependency name="coverage" toolchain="gcc"> <cflags>\${COVERAGE_CFLAGS}</cflags> <ldflags>\${COVERAGE_LDFLAGS}</ldflags> @@ -91,35 +85,13 @@ </dependency> <target> - <option arg="with-docs"> - <value str="all"> - <dependencies>pandoc,doxygen</dependencies> - <make> - # Documentation - WITH_DOCS_API=yes - WITH_DOCS_HTML=yes - </make> - </value> - <value str="html"> - <dependencies>pandoc</dependencies> - <make> - # Documentation - WITH_DOCS_HTML=yes - </make> - </value> - <value str="api"> - <dependencies>doxygen</dependencies> - <make> - # Documentation - WITH_DOCS_API=yes - </make> - </value> - <value str="none"/> - <default value="all"/> - <default value="html"/> - <default value="api"/> - <default value="none"/> - </option> + <feature name="api-docs"> + <dependencies>doxygen</dependencies> + <make> + # Documentation + WITH_API_DOCS=yes + </make> + </feature> <feature name="coverage"> <dependencies>coverage</dependencies> </feature>