(committed) fix bug which broke 'make info'

[Nathanael Nerode]

Fix bug introduced by realizing configure targets; this is the bug which 
caused 'make info' to fail.  Committed as obvious to gcc and src.

 	* Makefile.tpl (do-info): Depend on maybe-all-texinfo, not all-texinfo.
 	* Makefile.in: Regenerate.
 
Index: Makefile.tpl
===================================================================
RCS file: /cvs/src/src/Makefile.tpl,v
retrieving revision 1.30
diff -u -r1.30 Makefile.tpl
--- Makefile.tpl	17 Dec 2002 20:38:05 -0000	1.30
+++ Makefile.tpl	18 Dec 2002 05:18:32 -0000
@@ -627,8 +627,9 @@
 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; \
Index: Makefile.in
===================================================================
RCS file: /cvs/src/src/Makefile.in,v
retrieving revision 1.96
diff -u -r1.96 Makefile.in
--- Makefile.in	17 Dec 2002 20:38:05 -0000	1.96
+++ Makefile.in	18 Dec 2002 05:18:53 -0000
@@ -1070,8 +1070,9 @@
 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; \