diff options
author | Florian Franzmann | 2019-10-12 12:11:19 +0200 |
---|---|---|
committer | Florian Franzmann | 2019-10-12 12:11:19 +0200 |
commit | 0ca7302b177abec433700421fe13252270b7f823 (patch) | |
tree | fdad8d43aed084937ddc790921ffe098050d60ce /doc/man-pages/DETAILS | |
parent | b70be5e791815eaf6f9e954f1affda4c16397605 (diff) |
doc/man-pages: version 5.03
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 45fd08fd9a..2cb1ab119e 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,5 +1,5 @@ SPELL=man-pages - VERSION=5.02 + VERSION=5.03 SOURCE=$SPELL-$VERSION.tar.xz SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" SOURCE_URL[0]=$KERNEL_URL/pub/linux/docs/man-pages/$SOURCE |