From: Luca Boccassi <bluca@debian.org>
Date: Fri, 30 May 2025 11:33:48 +0000 (+0100)
Subject: docs: small improvements for html man pages menu selector (#37663)
X-Git-Tag: v258-rc1~442
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fe8cdd18d6689d5285fb555d4a7e16f4f2b14267;p=thirdparty%2Fsystemd.git

docs: small improvements for html man pages menu selector (#37663)

Result is already live at
https://www.freedesktop.org/software/systemd/man
---

fe8cdd18d6689d5285fb555d4a7e16f4f2b14267