diff options
| author | Nathanael Nerode <neroden@gcc.gnu.org> | 2002-12-18 08:23:49 +0300 |
|---|---|---|
| committer | Nathanael Nerode <neroden@gcc.gnu.org> | 2002-12-18 08:23:49 +0300 |
| commit | 5b6edf66616f74cd11d8ed8b578a9adb9209c7ba (patch) | |
| tree | 96a8d956e72d4fc21662aca3e924db4c67afd9b6 /Makefile.in | |
| parent | b0ae479f36786924127580955c641a8e73959da4 (diff) | |
2002-12-18 Nathanael Nerode <neroden@gcc.gnu.org>
* Makefile.tpl (do-info): Depend on maybe-all-texinfo, not all-texinfo.
* Makefile.in: Regenerate.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 881c92562..7090ce0df 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1070,8 +1070,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; \ |