diff options
Diffstat (limited to '')
| -rw-r--r-- | Linux/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Linux/Makefile b/Linux/Makefile index 866b836..4e405ac 100644 --- a/Linux/Makefile +++ b/Linux/Makefile @@ -1,5 +1,5 @@ SYSTEM = Linux -VERSION = 5.12 +VERSION = 5.13 MIRROR = https://mirrors.edge.kernel.org/pub/linux/docs/man-pages DISTFILES = man-pages-${VERSION}.tar.xz FILES = man-pages-${VERSION}/man[1-9]/ |