On Tuesday 2023-11-28 12:46, Phil Sutter wrote: >On Sat, Nov 25, 2023 at 05:12:50PM +0100, Jan Engelhardt wrote: >> Fixes: v1.8.10-28-g4b0c168a >> Signed-off-by: Jan Engelhardt <jengelh@xxxxxxx> >> --- >> I thought I had read the groff_char manual, but perhaps too hastily. > >Indeed, and nobody apparently tested the results - at least on my >system, neither \~ nor \^ produce a visible character with either man or >html output (produced by mandoc). I can't test PDF right now for some >font problem. HTML and PDF are completely different beasts in their own right. The use of \- e.g. actually breaks copy-and-paste with PDF. But: * I am being told that's all expected https://lists.gnu.org/archive/html/groff/2023-10/msg00052.html , * manpages' primary target is the console anyway, * because copying PDF text injects a helluva lot of other artifacts anyway, predominantly newlines I left PDF documentation being the third-class citizen that it is.
