[release] Bump version to 0.8.pre4.

INSTALL.txt

@@ -11,8 +11,8 @@ Quick Start
 
 If you haven't already done so, extract the tarball:
 
-    tar -x --xz < oil-0.8.pre3.tar.xz
-    cd oil-0.8.pre3
+    tar -x --xz < oil-0.8.pre4.tar.xz
+    cd oil-0.8.pre4
 
 Either install as /usr/local/bin/osh:
 
@@ -33,7 +33,7 @@ The latter doesn't require root access, but it requires:
   (See manpath or $MANPATH.)
 
 NOTE: Out-of-tree builds are NOT currently supported, so you have to be in the
-oil-0.8.pre3 directory.
+oil-0.8.pre4 directory.
 
 Smoke Test
 ----------

doc/osh.1

@@ -72,7 +72,7 @@ The referenced command or script could not be found.
 .Xr busybox 1 ,
 .Xr sh 1
 .Pp
-.Lk http://www.oilshell.org/release/0.8.pre3/doc/ Docs
+.Lk http://www.oilshell.org/release/0.8.pre4/doc/ Docs
 .Sh AUTHORS
 The
 .Nm

doc/release-index.md

@@ -4,7 +4,7 @@ all_docs_url: -
 version_url: -
 ---
 
-Oil 0.8.pre3
+Oil 0.8.pre4
 ============
 
 <!-- NOTE: This file is published to /release/$VERSION/index.html -->
@@ -13,7 +13,7 @@ Oil 0.8.pre3
 <!-- REPLACE_WITH_DATE -->
 </span>
 
-This is the home page for version 0.8.pre3 of Oil, a Unix shell.  To use it,
+This is the home page for version 0.8.pre4 of Oil, a Unix shell.  To use it,
 
 1. Download a source tarball.
 2. Build and install it, as described in [INSTALL][].

oil-version.txt

@@ -1,4 +1,4 @@
-0.8.pre3
+0.8.pre4
 
 # The first line of this file is the Oil version, and the rest is ignored.
 # It's used at build time for the release tarball, and at runtime for oil