===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/59.html,v
retrieving revision 1.96
retrieving revision 1.97
diff -c -r1.96 -r1.97
*** www/59.html	2019/06/12 20:57:17	1.96
--- www/59.html	2019/06/13 05:33:57	1.97
***************
*** 1161,1166 ****
--- 1161,1167 ----
  # <kbd>tar xvfz /tmp/src.tar.gz</kbd>
  </pre></blockquote>
  
+ <p>
  sys.tar.gz contains a source archive starting at /usr/src/sys.
  This file contains all the kernel sources you need to rebuild kernels.
  To extract:
***************
*** 1171,1176 ****
--- 1172,1178 ----
  # <kbd>tar xvfz /tmp/sys.tar.gz</kbd>
  </pre></blockquote>
  
+ <p>
  Both of these trees are a regular CVS checkout.  Using these trees it
  is possible to get a head-start on using the anoncvs servers as
  described <a href="anoncvs.html">here</a>.
***************
*** 1191,1196 ****
--- 1193,1199 ----
  # <kbd>tar xvfz /tmp/ports.tar.gz</kbd>
  </pre></blockquote>
  
+ <p>
  Go read the <a href="faq/ports/index.html">ports</a> page
  if you know nothing about ports
  at this point.  This text is not a manual of how to use ports.
***************
*** 1198,1205 ****
  OpenBSD ports system.
  <p>
  The <i>ports/</i> directory represents a CVS (see the manpage for
! <a href="https://man.openbsd.org/cvs">
! cvs(1)</a> if
  you aren't familiar with CVS) checkout of our ports.  As with our complete
  source tree, our ports tree is available via
  <a href="anoncvs.html">AnonCVS</a>.
--- 1201,1207 ----
  OpenBSD ports system.
  <p>
  The <i>ports/</i> directory represents a CVS (see the manpage for
! <a href="https://man.openbsd.org/cvs">cvs(1)</a> if
  you aren't familiar with CVS) checkout of our ports.  As with our complete
  source tree, our ports tree is available via
  <a href="anoncvs.html">AnonCVS</a>.
***************
*** 1212,1217 ****
--- 1214,1220 ----
  # <kbd>cvs -d anoncvs@server.openbsd.org:/cvs update -Pd -rOPENBSD_5_9</kbd>
  </pre></blockquote>
  
+ <p>
  [Of course, you must replace the server name here with a nearby anoncvs
  server.]
  <p>