diff options
| author | Pavel Vinogradov | 2019-05-10 09:52:42 -0400 |
|---|---|---|
| committer | Pavel Vinogradov | 2019-05-10 09:52:42 -0400 |
| commit | d8fe0c4596e144061d062a2400156841191bca61 (patch) | |
| tree | 76c6d8aad608d466ac7fe1a6efe08bcc56345fd6 /doc/man-pages/DETAILS | |
| parent | c6bfd0b5f3faec3897eb15bb7b4d72ef76d41dd6 (diff) | |
doc/man-pages: version 5.01
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 890a5f642f..0ea1b20d2a 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,5 +1,5 @@ SPELL=man-pages - VERSION=5.00 + VERSION=5.01 SOURCE=$SPELL-$VERSION.tar.xz SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" SOURCE_URL[0]=$KERNEL_URL/pub/linux/docs/man-pages/$SOURCE |