summaryrefslogtreecommitdiffstats
path: root/doc/man-pages/DETAILS
diff options
context:
space:
mode:
authorFlorian Franzmann2020-07-25 16:51:29 +0200
committerFlorian Franzmann2020-07-26 12:16:46 +0200
commitf83c38dcbe960dd2e4dea6f5f8d2ccfb0224accd (patch)
treef768b664c41e2915917655b7fe435ddfe57b59b1 /doc/man-pages/DETAILS
parent1f89a1df44db4393e473db1d5ccaa270efe4c2bd (diff)
doc/man-pages: remove conflicting files
Diffstat (limited to 'doc/man-pages/DETAILS')
-rwxr-xr-xdoc/man-pages/DETAILS1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/man-pages/DETAILS b/doc/man-pages/DETAILS
index 8a1a403f94..d317763c00 100755
--- a/doc/man-pages/DETAILS
+++ b/doc/man-pages/DETAILS
@@ -1,5 +1,6 @@
SPELL=man-pages
VERSION=5.07
+ PATCHLEVEL=1
SOURCE=$SPELL-$VERSION.tar.xz
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
SOURCE_URL[0]=$KERNEL_URL/pub/linux/docs/man-pages/$SOURCE