diff options
Diffstat (limited to 'Makefile.def')
| -rw-r--r-- | Makefile.def | 2 |
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; |