diff options
Diffstat (limited to 'Makefile.tpl')
| -rw-r--r-- | Makefile.tpl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.tpl b/Makefile.tpl index b2f7442576d..b59f4911c21 100644 --- a/Makefile.tpl +++ b/Makefile.tpl @@ -627,8 +627,9 @@ info: do-info installcheck: do-installcheck dvi: do-dvi -# Make sure makeinfo is built before we do a `make info'. -do-info: all-texinfo +# Make sure makeinfo is built before we do a `make info', if we're +# in fact building texinfo. +do-info: maybe-all-texinfo install-info: do-install-info dir.info s=`cd $(srcdir); ${PWD}`; export s; \ |