===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/socppc.html,v
retrieving revision 1.39
retrieving revision 1.40
diff -u -r1.39 -r1.40
--- www/socppc.html	2017/03/08 16:54:13	1.39
+++ www/socppc.html	2017/06/26 17:18:58	1.40
@@ -68,19 +68,19 @@
 
 <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://man.openbsd.org/?query=intro&amp;arch=socppc&amp;sektion=4">intro(4/socppc)</a>.
+For a complete system component and device driver listing for this architecture, see <a href="https://man.openbsd.org/?query=intro&amp;arch=socppc&amp;sektion=4">intro(4/socppc)</a>.
 <p>
 <ul>
-<li><a href="http://man.openbsd.org/?query=cpu&amp;arch=socppc&amp;sektion=4">cpu(4)</a> Freescale MPC8347 processor.
-<li><a href="http://man.openbsd.org/?query=ipic&amp;arch=socppc&amp;sektion=4">ipic(4)</a> integrated programmable interrupt controller (IPIC).
-<li><a href="http://man.openbsd.org/?query=sociic&amp;arch=socppc&amp;sektion=4">sociic(4)</a> I2C controller.
-<li><a href="http://man.openbsd.org/?query=fintek&amp;sektion=4">fintek(4)</a> Fintek F75375 temperature sensor.
-<li><a href="http://man.openbsd.org/?query=ricohrtc&amp;sektion=4">ricohrtc(4)</a> Ricoh RS5C372 real time clock.
-<li><a href="http://man.openbsd.org/?query=com&amp;sektion=4">com(4)</a> serial port console at 115200 baud.
-<li><a href="http://man.openbsd.org/?query=tsec&amp;arch=socppc&amp;sektion=4">tsec(4)</a> three-speed Ethernet controller (TSEC).
-<li><a href="http://man.openbsd.org/?query=socpcic&amp;arch=socppc&amp;sektion=4">socpcic(4)</a> PCI controller.
-<li><a href="http://man.openbsd.org/?query=pciide&amp;sektion=4">pciide(4)</a> SATA controller supporting <a href="http://man.openbsd.org/?query=wd&amp;sektion=4">wd(4)</a>.
-<li><a href="http://man.openbsd.org/?query=ehci&amp;sektion=4">ehci(4)</a> USB controller supporting most <a href="http://man.openbsd.org/?query=usb&amp;sektion=4">usb(4)</a> devices.
+<li><a href="https://man.openbsd.org/?query=cpu&amp;arch=socppc&amp;sektion=4">cpu(4)</a> Freescale MPC8347 processor.
+<li><a href="https://man.openbsd.org/?query=ipic&amp;arch=socppc&amp;sektion=4">ipic(4)</a> integrated programmable interrupt controller (IPIC).
+<li><a href="https://man.openbsd.org/?query=sociic&amp;arch=socppc&amp;sektion=4">sociic(4)</a> I2C controller.
+<li><a href="https://man.openbsd.org/?query=fintek&amp;sektion=4">fintek(4)</a> Fintek F75375 temperature sensor.
+<li><a href="https://man.openbsd.org/?query=ricohrtc&amp;sektion=4">ricohrtc(4)</a> Ricoh RS5C372 real time clock.
+<li><a href="https://man.openbsd.org/?query=com&amp;sektion=4">com(4)</a> serial port console at 115200 baud.
+<li><a href="https://man.openbsd.org/?query=tsec&amp;arch=socppc&amp;sektion=4">tsec(4)</a> three-speed Ethernet controller (TSEC).
+<li><a href="https://man.openbsd.org/?query=socpcic&amp;arch=socppc&amp;sektion=4">socpcic(4)</a> PCI controller.
+<li><a href="https://man.openbsd.org/?query=pciide&amp;sektion=4">pciide(4)</a> SATA controller supporting <a href="https://man.openbsd.org/?query=wd&amp;sektion=4">wd(4)</a>.
+<li><a href="https://man.openbsd.org/?query=ehci&amp;sektion=4">ehci(4)</a> USB controller supporting most <a href="https://man.openbsd.org/?query=usb&amp;sektion=4">usb(4)</a> devices.
 </ul>
 
 <h3 id="install"><font color="#0000e0">