# HG changeset patch
# User Tom Fredrik Blenning Klaussen <bfg@blenning.no>
# Date 1350318954 -7200
# Node ID 0add7b7f1505f66fe238aa23c302041e6e23678c
# Parent  b9654b9c4a66018bcf9aac89644a54d0ba02ceb1
Make log a part of the html output.

diff -r b9654b9c4a66 -r 0add7b7f1505 doc/Doxyfile
--- a/doc/Doxyfile	Mon Oct 15 18:32:56 2012 +0200
+++ b/doc/Doxyfile	Mon Oct 15 18:35:54 2012 +0200
@@ -644,7 +644,7 @@
 # and error messages should be written. If left blank the output is written
 # to stderr.
 
-WARN_LOGFILE           =
+WARN_LOGFILE           = html/log
 
 #---------------------------------------------------------------------------
 # configuration options related to the input files