===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/sgi.html,v
retrieving revision 1.91
retrieving revision 1.92
diff -c -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,43 ****
  subscribing.
  </p>
  
! <a name="toc"></a>
! <h3><font color="#0000e0"><i>Table of contents</i></font></h3>
  <table><tr>
  <td width=1%></td>
  <td valign="top" width="20%">
--- 36,42 ----
  subscribing.
  </p>
  
! <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,57 ****
  <br clear=all>
  <hr>
  
! <a name="history"></a>
! <h3><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
--- 49,55 ----
  <br clear=all>
  <hr>
  
! <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,79 ****
  either and support for it appeared in 2012.
  </p>
  
! <a name="status"></a>
! <h3><font color="#0000e0"><strong>Current status</strong></font></h3>
  
  <p>
  Currently OpenBSD/sgi runs in 64 bit mode and boots multi-user on supported
--- 70,76 ----
  either and support for it appeared in 2012.
  </p>
  
! <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,92 ****
  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>
  
  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>
--- 82,88 ----
  An X server, currently unaccelerated, is also available for IP32 (O2) systems.
  </p>
  
! <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,246 ****
  </ul>
  </ul>
  
! <a name="install"></a>
! <h3><font color="#0000e0">
  <strong>Getting and installing</strong>
  </font></h3>
  
--- 235,241 ----
  </ul>
  </ul>
  
! <h3 id="install"><font color="#0000e0">
  <strong>Getting and installing</strong>
  </font></h3>