diff options
author | Florian Franzmann | 2020-07-25 16:51:29 +0200 |
---|---|---|
committer | Florian Franzmann | 2020-07-26 12:16:46 +0200 |
commit | f83c38dcbe960dd2e4dea6f5f8d2ccfb0224accd (patch) | |
tree | f768b664c41e2915917655b7fe435ddfe57b59b1 /doc/man-pages/DETAILS | |
parent | 1f89a1df44db4393e473db1d5ccaa270efe4c2bd (diff) |
doc/man-pages: remove conflicting files
Diffstat (limited to 'doc/man-pages/DETAILS')
-rwxr-xr-x | doc/man-pages/DETAILS | 1 |
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 |