# HG changeset patch
# User Mike Becker <universe@uap-core.de>
# Date 1765897071 -3600
# Node ID db1f645d23784c21b8cd6d3e9a90ddd8661658e3
# Parent  de21dd0d142665123aaab868afee0459ddbaf427
change build s.t. the online docs are generated exactly how we want to publish them

diff -r de21dd0d1426 -r db1f645d2378 Doxyfile
--- a/Doxyfile	Tue Dec 16 12:07:01 2025 +0100
+++ b/Doxyfile	Tue Dec 16 15:57:51 2025 +0100
@@ -1238,7 +1238,7 @@
 # The default directory is: html.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-HTML_OUTPUT            = html
+HTML_OUTPUT            = api
 
 # The HTML_FILE_EXTENSION tag can be used to specify the file extension for each
 # generated HTML page (for example: .htm, .php, .asp).
diff -r de21dd0d1426 -r db1f645d2378 src/Makefile
--- a/src/Makefile	Tue Dec 16 12:07:01 2025 +0100
+++ b/src/Makefile	Tue Dec 16 15:57:51 2025 +0100
@@ -34,14 +34,14 @@
 
 shared: $(build_dir)/libucx$(SHLIB_EXT)
 
-check-coverage: $(SRC:%.c=$(build_dir)/%.gcda) $(build_dir)/coverage
-	gcovr --html-details $(build_dir)/coverage/ucx.html \
+check-coverage: $(SRC:%.c=$(build_dir)/%.gcda) $(build_dir)/docs/coverage
+	gcovr --html-details $(build_dir)/docs/coverage/index.html \
 		  --object-directory $(build_dir) \
 		  --root $(root_dir)/src \
 		  --exclude-directories $(build_dir)/tests \
 		  $(build_dir)
 
-$(build_dir)/coverage:
+$(build_dir)/docs/coverage:
 	$(MKDIR) $@/
 
 $(build_dir)/%.gcda: