diff --git a/denv b/denv index e94a5b2..c4fbe87 100755 --- a/denv +++ b/denv @@ -17,7 +17,7 @@ # You should have received a copy of the GNU General Public License # along with denv; if not, see . -denv_version=0.8.0 +denv_version=0.8.1 # POSIX set -o errexit diff --git a/docs/src/manual/denv.md b/docs/src/manual/denv.md index 8d239b3..dd9fa46 100644 --- a/docs/src/manual/denv.md +++ b/docs/src/manual/denv.md @@ -1,6 +1,6 @@ # NAME -denv v0.8.0 +denv v0.8.1 # SYNOPSIS diff --git a/install b/install index 4022d1e..9065587 100755 --- a/install +++ b/install @@ -66,7 +66,7 @@ Options: EOF } -version=v0.8.0 +version=v0.8.1 next=0 verbose=0 devel=0 diff --git a/man/man1/denv.1 b/man/man1/denv.1 index c5abb01..7911de2 100644 --- a/man/man1/denv.1 +++ b/man/man1/denv.1 @@ -4,7 +4,7 @@ .hy .SH NAME .PP -denv v0.8.0 +denv v0.8.1 .SH SYNOPSIS .PP \f[B]denv\f[R] {help|-h|\[en]help}