]> git.ipfire.org Git - thirdparty/mkosi.git/commit
mkosi-tools: Install man tool and pages as part of misc profile 3742/head
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Tue, 27 May 2025 08:43:30 +0000 (10:43 +0200)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Tue, 27 May 2025 09:09:23 +0000 (11:09 +0200)
commit94cc136fbe1e4eee1218c83bf00affd625579449
tree54b8fa8653e7d09def3a2edf971d3a3a0b9e8df9
parenteda2ed533dbfe1bf7bf30b53355e6577fac97ba8
mkosi-tools: Install man tool and pages as part of misc profile

Man pages are generally shipped together with tools, so we need a
man viewer inside the tools tree to be able to read those man pages.

While we're at it, make sure we also install the basic Linux man pages
since those are always useful to have around.
mkosi/resources/mkosi-tools/mkosi.profiles/misc/mkosi.conf
mkosi/resources/mkosi-tools/mkosi.profiles/misc/mkosi.conf.d/arch.conf
mkosi/resources/mkosi-tools/mkosi.profiles/misc/mkosi.conf.d/azure-centos-fedora.conf
mkosi/resources/mkosi-tools/mkosi.profiles/misc/mkosi.conf.d/debian-kali-ubuntu/mkosi.conf
mkosi/resources/mkosi-tools/mkosi.profiles/misc/mkosi.conf.d/opensuse.conf