diff options
author | Pavel Vinogradov | 2021-08-27 17:49:14 -0400 |
---|---|---|
committer | Pavel Vinogradov | 2021-08-27 17:51:09 -0400 |
commit | a948534ef7656ce834c02363ff0acb829d5d90af (patch) | |
tree | af40f409f4a89c0cc4034e84f6897c8e652d5a79 /doc/man-pages/DETAILS | |
parent | 25281b37f1baf0d32ebf75fa3208e6ccc420c9ba (diff) |
doc/man-pages: version 5.13
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 b6993c1b51..e98c067837 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,5 +1,5 @@ SPELL=man-pages - VERSION=5.12 + VERSION=5.13 SOURCE=$SPELL-$VERSION.tar.xz SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" SOURCE_URL[0]=$KERNEL_URL/pub/linux/docs/man-pages/$SOURCE |