===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/sgi.html,v
retrieving revision 1.91
retrieving revision 1.92
diff -u -r1.91 -r1.92
--- www/sgi.html	2014/11/12 05:42:31	1.91
+++ www/sgi.html	2014/12/03 07:36:36	1.92
@@ -36,8 +36,7 @@
 subscribing.
 </p>
 
-<a name="toc"></a>
-<h3><font color="#0000e0"><i>Table of contents</i></font></h3>
+<h3 id="toc"><font color="#0000e0"><i>Table of contents</i></font></h3>
 <table><tr>
 <td width=1%></td>
 <td valign="top" width="20%">
@@ -50,8 +49,7 @@
 <br clear=all>
 <hr>
 
-<a name="history"></a>
-<h3><font color="#0000e0"><strong>History</strong></font></h3>
+<h3 id="history"><font color="#0000e0"><strong>History</strong></font></h3>
 <p>
 The OpenBSD/sgi port has its roots in the <a href="arc.html">OpenBSD/arc</a>
 port created early in the OpenBSD history. ARC support was rather soon
@@ -72,8 +70,7 @@
 either and support for it appeared in 2012.
 </p>
 
-<a name="status"></a>
-<h3><font color="#0000e0"><strong>Current status</strong></font></h3>
+<h3 id="status"><font color="#0000e0"><strong>Current status</strong></font></h3>
 
 <p>
 Currently OpenBSD/sgi runs in 64 bit mode and boots multi-user on supported
@@ -85,8 +82,7 @@
 An X server, currently unaccelerated, is also available for IP32 (O2) systems.
 </p>
 
-<a name="hardware"></a>
-<h3><font color="#0000e0"><strong>Supported hardware</strong></font></h3>
+<h3 id="hardware"><font color="#0000e0"><strong>Supported hardware</strong></font></h3>
 
 For a complete system component and device driver listing for this architecture, see <a href="http://www.openbsd.org/cgi-bin/man.cgi?query=intro&amp;arch=sgi&amp;sektion=4">intro(4/sgi)</a>.
 <p>
@@ -239,8 +235,7 @@
 </ul>
 </ul>
 
-<a name="install"></a>
-<h3><font color="#0000e0">
+<h3 id="install"><font color="#0000e0">
 <strong>Getting and installing</strong>
 </font></h3>