diff options
author | Nathanael Nerode <neroden@gcc.gnu.org> | 2002-12-18 05:23:49 +0000 |
---|---|---|
committer | Nathanael Nerode <neroden@gcc.gnu.org> | 2002-12-18 05:23:49 +0000 |
commit | 43d92c63df8a04f09c926b561a6190640ed070e0 (patch) | |
tree | 693d5b81e0ea213dbc1eb5abaeece5000c387ae9 | |
parent | 8ec36b715064b53f12dc2a0a4608f0f7ee4f30c8 (diff) | |
download | gdb-43d92c63df8a04f09c926b561a6190640ed070e0.zip gdb-43d92c63df8a04f09c926b561a6190640ed070e0.tar.gz gdb-43d92c63df8a04f09c926b561a6190640ed070e0.tar.bz2 |
2002-12-18 Nathanael Nerode <neroden@gcc.gnu.org>
* Makefile.tpl (do-info): Depend on maybe-all-texinfo, not all-texinfo.
* Makefile.in: Regenerate.
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | Makefile.in | 5 | ||||
-rw-r--r-- | Makefile.tpl | 5 |
3 files changed, 11 insertions, 4 deletions
@@ -1,3 +1,8 @@ +2002-12-18 Nathanael Nerode <neroden@gcc.gnu.org> + + * Makefile.tpl (do-info): Depend on maybe-all-texinfo, not all-texinfo. + * Makefile.in: Regenerate. + 2002-12-16 Jason Merrill <jason@redhat.com> * Makefile.tpl (all-gcc): Use 'make quickstrap' if there was a diff --git a/Makefile.in b/Makefile.in index 881c925..7090ce0 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; \ diff --git a/Makefile.tpl b/Makefile.tpl index b2f7442..b59f491 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; \ |