diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 46c266bb24b0d326f5ce9ace64a9cc103140a51e..f705a11dcb1d02780c944830e59ad08fc3571cbe 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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'.
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index b0ff21f13bd2e4827e1c1fe938543557b73696f1..f16a40c4c9f80082617dea503fa864c44c4b6fd9 100644
--- a/gcc/doc/install.texi
+++ b/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