===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/28.html,v
retrieving revision 1.30
retrieving revision 1.31
diff -u -r1.30 -r1.31
--- www/28.html	2016/10/16 19:11:29	1.30
+++ www/28.html	2017/06/26 17:18:57	1.31
@@ -183,12 +183,12 @@
 floppies with NO BAD BLOCKS or you will lose.
 <p>
 If you experience any boot hangs on PCI devices, or any panic early in boot
-that seems related to <a href="http://man.openbsd.org/?query=pcibios&sektion=4&manpath=OpenBSD+current&arch=i386">pcibios(4)</a>, you might have to disable the pcibios device as
+that seems related to <a href="https://man.openbsd.org/?query=pcibios&sektion=4&manpath=OpenBSD+current&arch=i386">pcibios(4)</a>, you might have to disable the pcibios device as
 a workaround. At the <i>boot&gt;</i> prompt, type
 "boot -c" to enter User Kernel Configuration. At the <i>UKC&gt;</i> prompt,
 enter "disable pcibios" then "quit". See
-<a href="http://man.openbsd.org/?query=config&sektion=8">config(8)</a> after a successful boot for instructions on how to re-write your kernel
-to disable <a href="http://man.openbsd.org/?query=pcibios&sektion=4&manpath=OpenBSD+Current&arch=i386">pcibios(4)</a> permanently.
+<a href="https://man.openbsd.org/?query=config&sektion=8">config(8)</a> after a successful boot for instructions on how to re-write your kernel
+to disable <a href="https://man.openbsd.org/?query=pcibios&sektion=4&manpath=OpenBSD+Current&arch=i386">pcibios(4)</a> permanently.
 <p>
 <h3><font color=#e00000>sparc:</font></h3>
 <p>