diff options
author | Florian Franzmann | 2021-06-24 20:18:52 +0200 |
---|---|---|
committer | Florian Franzmann | 2021-06-24 20:38:19 +0200 |
commit | e5a30c6442d582aa682727131b1bd31d8ecad0dc (patch) | |
tree | 4a65bf88bb253dbf109aa24c3c49da69c68e4d6b /doc/man-pages/DETAILS | |
parent | e1800b09f8bb23a76c542726827090b7e3deea47 (diff) |
doc/man-pages: version 5.12
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 66b3a04687..b6993c1b51 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,5 +1,5 @@ SPELL=man-pages - VERSION=5.10 + VERSION=5.12 SOURCE=$SPELL-$VERSION.tar.xz SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" SOURCE_URL[0]=$KERNEL_URL/pub/linux/docs/man-pages/$SOURCE |