diff options
| author | neroden <neroden@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-12-18 05:28:41 +0000 |
|---|---|---|
| committer | neroden <neroden@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-12-18 05:28:41 +0000 |
| commit | 20672016251345e67c0209dd0d8a04ec35ee72be (patch) | |
| tree | 685e2a8088499dd1ce2dbcbfd36d665a09f83ecd /Makefile.tpl | |
| parent | cd33c058aa9e07c29a8f60712f3246f9e6bbab32 (diff) | |
| download | gcc-20672016251345e67c0209dd0d8a04ec35ee72be.tar.gz | |
2002-12-18 Nathanael Nerode <neroden@gcc.gnu.org>
* Makefile.tpl (do-info): Depend on maybe-all-texinfo, not all-texinfo.
* Makefile.in: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@60233 138bc75d-0d04-0410-961f-82ee72b054a4
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; \ |