===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/61.html,v
retrieving revision 1.18
retrieving revision 1.19
diff -u -r1.18 -r1.19
--- www/61.html	2017/03/07 14:13:44	1.18
+++ www/61.html	2017/03/07 17:57:44	1.19
@@ -415,8 +415,6 @@
 	.../OpenBSD/6.1/octeon/INSTALL.octeon</a>
 <li><a href="https://ftp.openbsd.org/pub/OpenBSD/6.1/sgi/INSTALL.sgi">
 	.../OpenBSD/6.1/sgi/INSTALL.sgi</a>
-<li><a href="https://ftp.openbsd.org/pub/OpenBSD/6.1/socppc/INSTALL.socppc">
-	.../OpenBSD/6.1/socppc/INSTALL.socppc</a>
 </ul>
 
 
@@ -588,14 +586,6 @@
 If your machine doesn't have a CD drive, you can setup a DHCP/tftp network
 server, and boot using "bootp()/bsd.rd.IP##" using the kernel matching your
 system type. Refer to the instructions in INSTALL.sgi for more details.
-</ul>
-
-<h3><font color="#e00000">OpenBSD/socppc:</font></h3>
-
-<ul style="list-style-type: none">
-<li>
-After connecting a serial port, boot over the network via DHCP/tftp.
-Refer to the instructions in INSTALL.socppc for more details.
 </ul>
 
 <hr>