diff options
Diffstat (limited to 'Makefile.def')
| -rw-r--r-- | Makefile.def | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.def b/Makefile.def index 3227a4456..4c58ab5a7 100644 --- a/Makefile.def +++ b/Makefile.def @@ -155,6 +155,9 @@ recursive_targets = { make_target= TAGS; recursive_targets = { make_target= install-info; depend=configure; depend=info; }; +recursive_targets = { make_target= install-html; + depend=configure; + depend=html; }; recursive_targets = { make_target= installcheck; depend=configure; }; recursive_targets = { make_target= mostlyclean; }; @@ -172,7 +175,10 @@ flags_to_pass = { flag= bindir ; }; flags_to_pass = { flag= datadir ; }; flags_to_pass = { flag= exec_prefix ; }; flags_to_pass = { flag= includedir ; }; +flags_to_pass = { flag= datarootdir ; }; +flags_to_pass = { flag= docdir ; }; flags_to_pass = { flag= infodir ; }; +flags_to_pass = { flag= htmldir ; }; flags_to_pass = { flag= libdir ; }; flags_to_pass = { flag= libexecdir ; }; flags_to_pass = { flag= lispdir ; }; |