[PATCH] More platform repairs

Index: alpha.html
===================================================================
RCS file: /cvsroot/unix/openbsd/www/alpha.html,v
retrieving revision 1.233
diff -u -r1.233 alpha.html
--- alpha.html	23 Jul 2008 19:25:14 -0000	1.233
+++ alpha.html	4 Sep 2008 21:11:50 -0000
@@ -78,7 +78,7 @@

  <p>
  Nathan Binkert, Art Grabowski, Niklas Hallqvist and Eric Jackson, with
-the help of a few others, eventually brought the port in good shape
+the help of a few others, eventually brought the port into good shape
  again, and starting with the 2.9 release OpenBSD/alpha is a supported
  OpenBSD port again.

@@ -318,7 +318,7 @@
    </ul>
    <p>
    It contains support for the on-board devices found on these machines,
-  however due to lack of place there are only few other drivers.
+  however due to lack of space there are only few other drivers.
    In particular, <i>this floppy lacks cdrom support</i> and will
<i>not</i>
    allow installation from cdrom media.<br>
    For the latest list of drivers available on this image, please take a



Index: hp300.html
===================================================================
RCS file: /cvsroot/unix/openbsd/www/hp300.html,v
retrieving revision 1.70
diff -u -r1.70 hp300.html
--- hp300.html	8 May 2008 20:10:00 -0000	1.70
+++ hp300.html	4 Sep 2008 21:05:13 -0000
@@ -56,7 +56,7 @@
  used by all other OpenBSD m68k platforms.

  <p>
-Over the time, the 4.4BSD codebase was extended and corrected, and the
hp300
+Over time, the 4.4BSD codebase was extended and corrected, and the hp300
  port switched to the regular config(8) for kernel configuration.

  <p>
@@ -88,7 +88,7 @@

  <p>
  A native, unaccelerated X11R6 server is available for all supported frame
-buffers but the SGC frame buffers.
+buffers except the SGC frame buffers.

  <hr>
  <a name="projects"></a>



Index: macppc.html
===================================================================
RCS file: /cvsroot/unix/openbsd/www/macppc.html,v
retrieving revision 1.201
diff -u -r1.201 macppc.html
--- macppc.html	19 Aug 2008 06:39:35 -0000	1.201
+++ macppc.html	4 Sep 2008 20:55:44 -0000
@@ -1263,7 +1263,7 @@
  Mac OS utility, <i>Drive Setup</i> (Mac OS 9) or <i>System Disk
  Utility</i> (Mac OS X).
  Unallocated space, or a partition not in use, must be left for
OpenBSD's use.
-Since OpenBSD is only able to boot from HFS (not Mac OS X UFS) filesystem,
+Since OpenBSD is only able to boot from a HFS (not Mac OS X UFS)
filesystem,
  the first partition must formated as HFS or HFS+, not UFS, to be able
to boot
  OpenBSD.



Index: mvme88k.html
===================================================================
RCS file: /cvsroot/unix/openbsd/www/mvme88k.html,v
retrieving revision 1.73
diff -u -r1.73 mvme88k.html
--- mvme88k.html	8 May 2008 20:10:00 -0000	1.73
+++ mvme88k.html	4 Sep 2008 20:51:33 -0000
@@ -103,7 +103,7 @@
  designs, are booting multi-user, supporting most of the on-board devices.
  There are still a few caveats; depending on your exact hardware setup,
  your mileage may vary.
-Work is on progress to fix the remaining problems.
+Work is in progress to fix the remaining problems.

  <hr>
  <a name="projects"></a>



Index: sgi.html
===================================================================
RCS file: /cvsroot/unix/openbsd/www/sgi.html,v
retrieving revision 1.46
diff -u -r1.46 sgi.html
--- sgi.html	18 Jul 2008 13:33:20 -0000	1.46
+++ sgi.html	4 Sep 2008 20:47:54 -0000
@@ -68,7 +68,7 @@
  port created early in the OpenBSD history. Arc support was rather soon
  discontinued due to the lack of interest and availability of decent
hardware.
  The OpenBSD Mips support has since then been supported outside the OpenBSD
-project. As SGI hardware has become affordable and easy to get by, interest
+project. As SGI hardware has become affordable and easy to come by,
interest
  for an SGI port in the tree has increased.
  The final piece, a working 64 bit toolchain, is now available and the
64 bit
  SGI OpenBSD port is now available and managed in the OpenBSD source tree.