summaryrefslogtreecommitdiff
path: root/Makefile.def
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.def')
-rw-r--r--Makefile.def2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.def b/Makefile.def
index a528aad7806..5a7f319765f 100644
--- a/Makefile.def
+++ b/Makefile.def
@@ -143,6 +143,8 @@ recursive_targets = { make_target= info;
depend=configure; };
recursive_targets = { make_target= dvi;
depend=configure; };
+recursive_targets = { make_target= html;
+ depend=configure; };
recursive_targets = { make_target= TAGS;
depend=configure; };
recursive_targets = { make_target= install-info;