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 47c2f819cc..359080ccba 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,5 +1,5 @@ SPELL=man-pages - VERSION=5.08 + VERSION=5.09 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 f679e39cd1..1116d07b81 100644 --- a/doc/man-pages/HISTORY +++ b/doc/man-pages/HISTORY @@ -1,3 +1,6 @@ +2020-11-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 5.09 + 2020-08-13 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DETAILS: version 5.08 |