diff options
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/man-pages/DETAILS | 2 | ||||
-rw-r--r-- | doc/man-pages/HISTORY | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/doc/man-pages/DETAILS b/doc/man-pages/DETAILS index 8acec80f28..8a1a403f94 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,5 +1,5 @@ SPELL=man-pages - VERSION=5.06 + VERSION=5.07 SOURCE=$SPELL-$VERSION.tar.xz SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" SOURCE_URL[0]=$KERNEL_URL/pub/linux/docs/man-pages/$SOURCE diff --git a/doc/man-pages/HISTORY b/doc/man-pages/HISTORY index 54b4127489..f0f6710997 100644 --- a/doc/man-pages/HISTORY +++ b/doc/man-pages/HISTORY @@ -1,3 +1,6 @@ +2020-06-11 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 5.07 + 2020-04-12 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DETAILS: version 5.06 |