diff --git a/doc/Makefile.am b/doc/Makefile.am
index dca4cbc105a8b65b40e9ddb87cd70e7a476aa948..325a4c8649e9dbe5cbaf4911ce9ad372e2682e45 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -9,11 +9,11 @@ $(DEPDIR)/doxygen.Po: Doxyfile
 	./Doxydep $< $@
 
 doxygen-tag: $(doxygen_FILES) $(doxygen_DEPS)
-	doxygen
+	doxygen >& doxygen.log
 	touch doxygen-tag
 
 WEBDIR = /var/www/dune/doxygen
-WEBFILES = html/*.html html/*.css html/*.png
+WEBFILES = html/*.html html/*.css html/*.png doxygen.log
 
 web-install: doxygen-tag
 	if [ ! -d $(WEBDIR) ]; then \