online man pages have the wrong encoding
Looks for instance at dstar2tgba.1.html and see how Büchi is displayed.
groff -Kutf8mb4 ...
, executed by man2html.pl
, gets it right on my laptop. But somehow it does not work when the web pages are built inside the docker container that builds the Debian packages (that are ultimately used to build the web site).
This is not an issue with the groff version: stable uses groff 1.22.2, while unstable has groff 1.22.3 (same on my laptop), but both generate wrong pages. Can it be a problem with the locales? Like a missing locale for utf8?