summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/man-pages/DETAILS2
-rw-r--r--doc/man-pages/HISTORY3
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