diff options
author | Florian Franzmann | 2020-06-11 12:57:34 +0200 |
---|---|---|
committer | Florian Franzmann | 2020-06-21 15:34:58 +0200 |
commit | 0c86449ada9d59951332c96eee101dd6b6afedfe (patch) | |
tree | 898c95f28b9b5131080af4a24859c854bae11ea4 /doc/man-pages/DETAILS | |
parent | 915866d20e7ae945b7d92d2cb21042be641cd7ad (diff) |
doc/man-pages: version 5.07
Diffstat (limited to 'doc/man-pages/DETAILS')
-rwxr-xr-x | doc/man-pages/DETAILS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/man-pages/DETAILS b/doc/man-pages/DETAILS index 8acec80f28..8a1a403f94 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,5 +1,5 @@ SPELL=man-pages - VERSION=5.06 + VERSION=5.07 SOURCE=$SPELL-$VERSION.tar.xz SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" SOURCE_URL[0]=$KERNEL_URL/pub/linux/docs/man-pages/$SOURCE |