diff options
author | Florian Franzmann | 2020-11-02 18:59:47 +0100 |
---|---|---|
committer | Florian Franzmann | 2020-11-05 20:49:34 +0100 |
commit | bc8ce1d110d2fbb728f323e16bc39179995f065e (patch) | |
tree | d987f5c4bc3b9af8278113274df28e031e905693 /doc/man-pages/DETAILS | |
parent | 8f2f76a30c355a25c25937c1a0c090316b5e5302 (diff) |
doc/man-pages: version 5.09
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 47c2f819cc..359080ccba 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,5 +1,5 @@ SPELL=man-pages - VERSION=5.08 + VERSION=5.09 SOURCE=$SPELL-$VERSION.tar.xz SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" SOURCE_URL[0]=$KERNEL_URL/pub/linux/docs/man-pages/$SOURCE |