X-Git-Url: https://git.hcoop.net/bpt/emacs.git/blobdiff_plain/0f668a4db4a33f98f84613513af3efea521b4847..b59a2e9edb562fce9c63a73242db323cd4a9dc0f:/doc/misc/Makefile.in

diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index 3dac35aafe..add1b42a54 100644
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -192,6 +192,8 @@ webhack: clean
 
 dvi: $(DVI_TARGETS)
 
+html: $(HTML_TARGETS)
+
 pdf: $(PDF_TARGETS)
 
 # Note that all the Info targets build the Info files in srcdir.