message: Fix reporting of warnings by './runtest documentation'.
diff: @@ -19,7 +19,7 @@ html: $(DOXYGEN_CONF)
  @# Generate the html documentation
  @doxygen $(DOXYGEN_CONF)
  @echo "<meta http-equiv=\"REFRESH\" content=\"0;URL=CodeDocumentation/html/index.html\">" > CodeDocumentation.html
  - @cat warnings.log
  + @cat warnings.log 1>&2
  @# Generate the log of undocumented methods
  @( cat $(DOXYGEN_CONF) ; echo "GENERATE_HTML=NO" ; echo "EXTRACT_ALL=NO" ; echo "WARN_LOGFILE=undoc.log" ; echo "QUIET=YES" ) | doxygen - &> /dev/null
  