diff --git a/am/doxygen b/am/doxygen
index 4ca5e4d134f1a85530f5638b94ce074ef634ca46..add4dd6716e11d57d7a60f72c157cd2fad2ce772 100644
--- a/am/doxygen
+++ b/am/doxygen
@@ -75,7 +75,7 @@ doxygen-html-install:
 	list=`echo $(DOXYGENHTMLFILES)`; \
 	cd "$$OLDPWD"; \
 	for p in $$list; do \
-	  $(instcmd) $$dir/html/$$p $(instdir); \
+	  if test -f "$$dir/html/$$p"; then $(instcmd) $$dir/html/$$p $(instdir); fi; \
 	done;
 
 ####