diff --git a/doc/Makefile b/doc/Makefile
index 9179e9ba..301db620 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -64,5 +64,5 @@ maintainer-clean: distclean
 ### dependencies
 ###
 
-$(BUILT_SOURCES): $(top_srcdir)/src/version.h Makefile
+$(BUILT_SOURCES): $(top_srcdir)/src/version.h $(MAKEFILE_LIST)