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 3dccd6dfc8b..09d9c987d27 100644 --- a/Makefile.def +++ b/Makefile.def @@ -154,6 +154,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; }; @@ -171,7 +174,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 ; }; |
