diff options
Diffstat (limited to 'Makefile.def')
| -rw-r--r-- | Makefile.def | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.def b/Makefile.def index 7376c119a82..926c934ea22 100644 --- a/Makefile.def +++ b/Makefile.def @@ -55,6 +55,7 @@ host_modules= { module= fixincludes; missing= dvi; missing= pdf; missing= TAGS; + missing= install-pdf; missing= install-info; missing= installcheck; }; host_modules= { module= flex; no_check_cross= true; }; @@ -166,6 +167,9 @@ recursive_targets = { make_target= TAGS; recursive_targets = { make_target= install-info; depend=configure; depend=info; }; +recursive_targets = { make_target= install-pdf; + depend=configure; + depend=pdf; }; recursive_targets = { make_target= install-html; depend=configure; depend=html; }; @@ -189,6 +193,7 @@ flags_to_pass = { flag= includedir ; }; flags_to_pass = { flag= datarootdir ; }; flags_to_pass = { flag= docdir ; }; flags_to_pass = { flag= infodir ; }; +flags_to_pass = { flag= pdfdir ; }; flags_to_pass = { flag= htmldir ; }; flags_to_pass = { flag= libdir ; }; flags_to_pass = { flag= libexecdir ; }; |
