diff -r aaad6674a1a3 -r 24dc84788dee Doxyfile
--- a/Doxyfile	Sun Sep 03 09:10:16 2023 +0200
+++ b/Doxyfile	Thu Oct 12 00:00:35 2023 +0200
@@ -68,7 +68,7 @@
 # entered, it will be relative to the location where doxygen was started. If
 # left blank the current directory will be used.
 
-OUTPUT_DIRECTORY       = docs
+OUTPUT_DIRECTORY       = build/docs
 
 # If the CREATE_SUBDIRS tag is set to YES then doxygen will create up to 4096
 # sub-directories (in 2 levels) under the output directory of each output format