diff options
| author | Pavel Vinogradov | 2019-03-07 15:35:02 -0500 |
|---|---|---|
| committer | Pavel Vinogradov | 2019-03-07 15:35:02 -0500 |
| commit | 8eb5eef7b8391864a06d83c2ae24f522135cc6a3 (patch) | |
| tree | 0623cf4a63220c581fa05d3cc7b412d8e970d684 /doc/man-pages/DETAILS | |
| parent | 7748d6aa2b31000ad28a2db73b725903c70db8ee (diff) | |
doc/man-pages: version 5.00
Diffstat (limited to 'doc/man-pages/DETAILS')
| -rwxr-xr-x | doc/man-pages/DETAILS | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/doc/man-pages/DETAILS b/doc/man-pages/DETAILS index 9cbacaf12b..890a5f642f 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,15 +1,14 @@ SPELL=man-pages - VERSION=4.16 - SOURCE_HASH=sha512:df282a0480e2c1cc74e4ba02d6ff02ba95886b6583058c737028ea609b916270ba7dcaf075e0c450fd4b49b335979765abfc7d0a75f5570eec5fa2381c10201c + VERSION=5.00 SOURCE=$SPELL-$VERSION.tar.xz -# SOURCE2=$SOURCE.sign SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" SOURCE_URL[0]=$KERNEL_URL/pub/linux/docs/man-pages/$SOURCE SOURCE_URL[1]=$KERNEL_URL/pub/linux/docs/man-pages/Archive/$SOURCE -# SOURCE2_URL[0]=$KERNEL_URL/pub/linux/docs/man-pages/$SOURCE2 -# SOURCE2_URL[1]=$KERNEL_URL/pub/linux/docs/man-pages/Archive/$SOURCE2 -# SOURCE_GPG=kernel.gpg:$SOURCE2:UPSTREAM_KEY -# SOURCE2_IGNORE=signature + SOURCE2="${SOURCE%.xz}.sign" + SOURCE2_URL[0]="${KERNEL_URL}/pub/linux/docs/man-pages/${SOURCE2}" + SOURCE2_URL[1]="${KERNEL_URL}/pub/linux/docs/man-pages/Archive/${SOURCE2}" + SOURCE_GPG="kernel.gpg:${SOURCE2}:UPSTREAM_KEY" + SOURCE2_IGNORE="signature" LICENSE[0]=GPL KEYWORDS="man doc" WEB_SITE="https://www.kernel.org/doc/man-pages/" |