===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/socppc.html,v
retrieving revision 1.41
retrieving revision 1.42
diff -u -r1.41 -r1.42
--- www/socppc.html	2019/05/27 22:55:26	1.41
+++ www/socppc.html	2021/09/30 18:14:52	1.42
@@ -68,19 +68,19 @@
 <h3 id="hardware"><strong>Supported hardware</strong></h3>
 
 <p>
-For a complete system component and device driver listing for this architecture, see <a href="https://man.openbsd.org/socppc/intro.4">intro(4/socppc)</a>.
+For a complete system component and device driver listing for this architecture, see <a href="https://man.openbsd.org/OpenBSD-5.8/socppc/intro.4">intro(4/socppc)</a>.
 
 <ul>
-<li><a href="https://man.openbsd.org/socppc/cpu.4">cpu(4)</a> Freescale MPC8347 processor.
-<li><a href="https://man.openbsd.org/socppc/ipic.4">ipic(4)</a> integrated programmable interrupt controller (IPIC).
-<li><a href="https://man.openbsd.org/socppc/sociic.4">sociic(4)</a> I2C controller.
-<li><a href="https://man.openbsd.org/fintek.4">fintek(4)</a> Fintek F75375 temperature sensor.
-<li><a href="https://man.openbsd.org/ricohrtc.4">ricohrtc(4)</a> Ricoh RS5C372 real time clock.
-<li><a href="https://man.openbsd.org/com.4">com(4)</a> serial port console at 115200 baud.
-<li><a href="https://man.openbsd.org/socppc/tsec.4">tsec(4)</a> three-speed Ethernet controller (TSEC).
-<li><a href="https://man.openbsd.org/socppc/socpcic.4">socpcic(4)</a> PCI controller.
-<li><a href="https://man.openbsd.org/pciide.4">pciide(4)</a> SATA controller supporting <a href="https://man.openbsd.org/wd.4">wd(4)</a>.
-<li><a href="https://man.openbsd.org/ehci.4">ehci(4)</a> USB controller supporting most <a href="https://man.openbsd.org/usb.4">usb(4)</a> devices.
+<li><a href="https://man.openbsd.org/OpenBSD-5.8/socppc/cpu.4">cpu(4)</a> Freescale MPC8347 processor.
+<li><a href="https://man.openbsd.org/OpenBSD-5.8/socppc/ipic.4">ipic(4)</a> integrated programmable interrupt controller (IPIC).
+<li><a href="https://man.openbsd.org/OpenBSD-5.8/socppc/sociic.4">sociic(4)</a> I2C controller.
+<li><a href="https://man.openbsd.org/OpenBSD-5.8/fintek.4">fintek(4)</a> Fintek F75375 temperature sensor.
+<li><a href="https://man.openbsd.org/OpenBSD-5.8/ricohrtc.4">ricohrtc(4)</a> Ricoh RS5C372 real time clock.
+<li><a href="https://man.openbsd.org/OpenBSD-5.8/com.4">com(4)</a> serial port console at 115200 baud.
+<li><a href="https://man.openbsd.org/OpenBSD-5.8/socppc/tsec.4">tsec(4)</a> three-speed Ethernet controller (TSEC).
+<li><a href="https://man.openbsd.org/OpenBSD-5.8/socppc/socpcic.4">socpcic(4)</a> PCI controller.
+<li><a href="https://man.openbsd.org/OpenBSD-5.8/pciide.4">pciide(4)</a> SATA controller supporting <a href="https://man.openbsd.org/OpenBSD-5.8/wd.4">wd(4)</a>.
+<li><a href="https://man.openbsd.org/OpenBSD-5.8/ehci.4">ehci(4)</a> USB controller supporting most <a href="https://man.openbsd.org/OpenBSD-5.8/usb.4">usb(4)</a> devices.
 </ul>
 
 <h3 id="install">