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 /Makefile.tpl | |
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.
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 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; \ |