+cp images/*logo.png out/html
+cp images/wxmsw/*png out/html/wxmsw
+cp images/wxmac/*png out/html/wxmac
+cp images/wxgtk/*png out/html/wxgtk
+cp wxwidgets.js out/html
+
+# this CSS is not automatically copied by Doxygen because it's
+# included by our custom html header...
+cp wxwidgets.css out/html
+
+# which configuration should we use?
+if [[ -z "$1" ]]; then
+ cfgfile="Doxyfile_all"
+else
+ cfgfile="Doxyfile_$1"
+fi
+
+#
+# NOW RUN DOXYGEN
+#
+# NB: we do this _after_ copying the required files to the output folders
+# otherwise when generating the CHM file with Doxygen, those files are
+# not included!
+#
+doxygen $cfgfile
+
+# Doxygen has the annoying habit to put the full path of the
+# affected files in the log file; remove it to make the log
+# more readable
+currpath=`pwd`/
+interfacepath=`cd ../../interface && pwd`/
+cat doxygen.log | sed -e "s|$currpath||g" -e "s|$interfacepath||g" >temp
+
+# Doxygen warnings are not completely sorted for filename; enforce correct sorting:
+cat temp | sort >doxygen.log
+rm temp
+
+# return to the original folder from which this script was launched
+cd $current