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.in | |
| 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.in')
| -rw-r--r-- | Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
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; \ |