===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/63.html,v
retrieving revision 1.84
retrieving revision 1.85
diff -c -r1.84 -r1.85
*** www/63.html	2019/06/12 20:57:17	1.84
--- www/63.html	2019/06/13 05:33:57	1.85
***************
*** 905,910 ****
--- 905,911 ----
  # <kbd>tar xvfz /tmp/src.tar.gz</kbd>
  </pre></blockquote>
  
+ <p>
  <code>sys.tar.gz</code> contains a source archive starting at <code>/usr/src/sys</code>.
  This file contains all the kernel sources you need to rebuild kernels.
  To extract:
***************
*** 915,920 ****
--- 916,922 ----
  # <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>.
***************
*** 935,940 ****
--- 937,943 ----
  # <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.
***************
*** 953,958 ****
--- 956,962 ----
  # <kbd>cvs -d anoncvs@server.openbsd.org:/cvs update -Pd -rOPENBSD_6_3</kbd>
  </pre></blockquote>
  
+ <p>
  [Of course, you must replace the server name here with a nearby anoncvs
  server.]
  <p>