diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index e07604339db..87d231d511a 100644
--- a/Doc/html/Makefile
+++ b/Doc/html/Makefile
@@ -64,6 +64,8 @@ tut/tut.html:  $(PAPERDIR)/tut.aux
 	$(MKHTML) tut $(L2HARGS)
 
 
+include ../Makefile.deps
+
 $(PAPERDIR)/api.aux: $(APIFILES)
 	(cd $(PAPERDIR); $(MAKE) PAPER=$(PAPER) api.dvi)