diff --git a/docs/doxygen/regen.sh b/docs/doxygen/regen.sh
index a80786ec08..25c0ff66f4 100755
--- a/docs/doxygen/regen.sh
+++ b/docs/doxygen/regen.sh
@@ -5,3 +5,14 @@ doxygen
 # this image is not automatically copied by Doxygen because it's not
 # used in doxygen documentation but only in our html footer...
 cp images/powered-by-wxwidgets.png out/html
+
+# this CSS is automatically copied by Doxygen because it's 
+# included by our custom html header...
+cp wxwidgets.css out/html
+
+# 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`/
+cat doxygen.log | sed -e "s|$currpath||g" >temp
+mv temp doxygen.log
\ No newline at end of file