install.texi (Specific, avr): Fix markup.

	* doc/install.texi (Specific, avr): Fix markup.
	(Specific, c4x): Ditto.

From-SVN: r44896

gcc/ChangeLog

+2001-08-14  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>
+
+	* doc/install.texi (Specific, avr): Fix markup.
+	(Specific, c4x): Ditto.
+
 2001-08-14  Matt Kraai  <kraai@alumni.carnegiemellon.edu>
 
 	* predict.c (dump_prediction): Change `bool' parameter to `int'.

gcc/doc/install.texi

@@ -1657,9 +1657,9 @@ applications.  There are no standard Unix configurations.
 @xref{AVR Options,, AVR Options, gcc, Using and Porting the GNU Compiler
 Collection (GCC)},
 @end ifnothtml
-@ifnotinfo
+@ifhtml
 See ``AVR Options'' in the main manual
-@end ifnotinfo
+@end ifhtml
 for the list of supported MCU types.
 
 Use @samp{configure --target=avr --enable-languages="c"} to configure GCC@.
@@ -1696,9 +1696,9 @@ standard Unix configurations.
 @xref{TMS320C3x/C4x Options,, TMS320C3x/C4x Options, gcc, Using and
 Porting the GNU Compiler Collection (GCC)},
 @end ifnothtml
-@ifnotinfo
+@ifhtml
 See ``TMS320C3x/C4x Options'' in the main manual
-@end ifnotinfo
+@end ifhtml
 for the list of supported MCU types.
 
 GCC can be configured as a cross compiler for both the C3x and C4x