From c9a3b3e2c23cd9cd3a28fe0c6ddea5c3f63b9419 Mon Sep 17 00:00:00 2001 From: Andy Chu Date: Thu, 3 Sep 2020 09:50:34 -0700 Subject: [PATCH] [release] Bump version to 0.8.0 --- INSTALL.txt | 6 +++--- doc/osh.1 | 2 +- doc/release-index.md | 4 ++-- oil-version.txt | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) diff --git a/INSTALL.txt b/INSTALL.txt index e556ac53f0..1fb6393f7e 100644 --- a/INSTALL.txt +++ b/INSTALL.txt @@ -11,8 +11,8 @@ Quick Start If you haven't already done so, extract the tarball: - tar -x --xz < oil-0.8.pre11.tar.xz - cd oil-0.8.pre11 + tar -x --xz < oil-0.8.0.tar.xz + cd oil-0.8.0 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.pre11 directory. +oil-0.8.0 directory. Smoke Test ---------- diff --git a/doc/osh.1 b/doc/osh.1 index d5b987c7a5..dca752dab8 100644 --- a/doc/osh.1 +++ b/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.pre11/doc/ Docs +.Lk http://www.oilshell.org/release/0.8.0/doc/ Docs .Sh AUTHORS The .Nm diff --git a/doc/release-index.md b/doc/release-index.md index fe636f9647..0db76b1d41 100644 --- a/doc/release-index.md +++ b/doc/release-index.md @@ -4,7 +4,7 @@ all_docs_url: - version_url: - --- -Oil 0.8.pre11 +Oil 0.8.0 ============ @@ -13,7 +13,7 @@ Oil 0.8.pre11 -This is the home page for version 0.8.pre11 of Oil, a Unix shell. To use it, +This is the home page for version 0.8.0 of Oil, a Unix shell. To use it, 1. Download a source tarball. 2. Build and install it, as described in [INSTALL][]. diff --git a/oil-version.txt b/oil-version.txt index aa91f150da..51a8158f01 100644 --- a/oil-version.txt +++ b/oil-version.txt @@ -1,4 +1,4 @@ -0.8.pre11 +0.8.0 # 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