diff --git a/extra/man-pages/checksums b/extra/man-pages/checksums
index 2428e7a9..3d083ea2 100644
--- a/extra/man-pages/checksums
+++ b/extra/man-pages/checksums
@@ -1,2 +1,2 @@
-7af5c960a05a7fac56813fe5bfa564a1c280e934363ae03911b67b0b8e23371e
+614dae3efe7dfd480986763a2a2a8179215032a5a4526c0be5e899a25f096b8b
 ce67bb25b5048b20dad772e405a83f4bc70faf051afa289361c81f9660318bc3
diff --git a/extra/man-pages/version b/extra/man-pages/version
index 35970e0a..c20eb4cc 100644
--- a/extra/man-pages/version
+++ b/extra/man-pages/version
@@ -1 +1 @@
-5.12 1
+5.13 1