On Sun, 19 Mar 2017, Jeff Law wrote:
>> and finally a note in gcc-4.0/changes.html that NS32K has
>> been declared obsolete.
> We killed the n32k port eons ago.
Yep, see how I referred to a note in gcc-4.0/changes.html above.
However, at first my search failed since I was looking for ns32k
(all lowercase), so I now also applied the simply change below.
Gerald
Index: gcc-4.0/changes.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-4.0/changes.html,v
retrieving revision 1.68
diff -u -r1.68 changes.html
--- gcc-4.0/changes.html 27 May 2016 19:29:47 -0000 1.68
+++ gcc-4.0/changes.html 19 Mar 2017 19:05:36 -0000
@@ -544,7 +544,7 @@
<ul>
<li>Intel i860</li>
<li>Ubicom IP2022</li>
- <li>National Semiconductor NS32K</li>
+ <li>National Semiconductor NS32K (ns32k)</li>
<li>Texas Instruments TMS320C[34]x</li>
</ul>
