extend.texi: Add ip2k port to description of attribute naked.

[thirdparty/gcc.git] / gcc / doc / install.texi

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 10b34cf05aaff0e07f215ef887adc3ed17052532..526d212ec6ec40a10fe8aee9995399f88de73c62 100644 (file)
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -1543,6 +1543,8 @@ GNU Compiler Collection on your machine.
 @item
 @uref{#*-ibm-aix*,,*-ibm-aix*}
 @item
+@uref{#ip2k-*-elf,,ip2k-*-elf}
+@item
 @uref{#m32r-*-elf,,m32r-*-elf}
 @item
 @uref{#m68000-hp-bsd,,m68000-hp-bsd}
@@ -2379,6 +2381,17 @@ both Power or PowerPC processors.
 A default can be specified with the @option{-mcpu=@var{cpu_type}}
 switch and using the configure option @option{--with-cpu-@var{cpu_type}}.
 
+@html
+</p>
+<hr>
+@end html
+@heading @anchor{ip2k-*-elf}ip2k-*-elf
+Ubicom IP2022 micro controller.
+This configuration is intended for embedded systems.
+There are no standard Unix configurations.
+
+Use @samp{configure --target=ip2k-elf --enable-languages=c} to configure GCC@.
+
 @html
 </p>
 <hr>