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. BTW: HTML output seems identical for both the replacements in this patch and the plain unquoted characters. Even though groff_char claims otherwise. Cheers, Phil
