doxygen: Use a more sane default output directory.

Put the pages below build/ so that make distclean removes them.

diff --git a/Doxyfile b/Doxyfile
index f8183accdc16c7d34670efbc6d81450bdf46eb4c..d754cc338e7ee69bffe9339c586a60e8d461eee3 100644 (file)
--- a/Doxyfile
+++ b/Doxyfile
@@ -58,7 +58,7 @@ PROJECT_LOGO           =
 # entered, it will be relative to the location where doxygen was started. If
 # left blank the current directory will be used.
 
-OUTPUT_DIRECTORY       = web_sync/doxygen
+OUTPUT_DIRECTORY       = build/www/doxygen
 
 # If the CREATE_SUBDIRS tag is set to YES then doxygen will create 4096 sub-
 # directories (in 2 levels) under the output directory of each output format and