Milan Crha 9cbaaa7a7a CI: Add language switcher into the generated help/ pages ...

It makes it easier to switch between the languages.

2024-07-03 18:46:49 +02:00

..

update-help.c

…