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