diff options
Diffstat (limited to 'Makefile.def')
| -rw-r--r-- | Makefile.def | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.def b/Makefile.def index e365d8a77e..9b5fc5abb3 100644 --- a/Makefile.def +++ b/Makefile.def @@ -54,6 +54,7 @@ host_modules= { module= find; }; host_modules= { module= fixincludes; missing= info; missing= dvi; + missing= pdf; missing= TAGS; missing= install-info; missing= installcheck; }; @@ -147,6 +148,8 @@ recursive_targets = { make_target= info; depend=configure; }; recursive_targets = { make_target= dvi; depend=configure; }; +recursive_targets = { make_target= pdf; + depend=configure; }; recursive_targets = { make_target= html; depend=configure; }; recursive_targets = { make_target= TAGS; |