From 9911838bb824aee93744fc65b2ca011fa3fcd849 Mon Sep 17 00:00:00 2001
From: gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 14 Aug 2001 20:18:14 +0000
Subject: [PATCH] 	* doc/install.texi (Specific, avr): Fix markup. 
 (Specific, c4x): Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@44896 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/ChangeLog        | 5 +++++
 gcc/doc/install.texi | 8 ++++----
 2 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 46c266bb24b0..f705a11dcb1d 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 b0ff21f13bd2..f16a40c4c9f8 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
-- 
GitLab