On Thu, Jul 23, 2020 at 10:04:24PM +0200, Klemens Nanni wrote:
> I've somehow hit the slash way to often for searching a particular
> command, would anyone object if I added it as a command character?
> While here, what's up with the weird markup in top.1 for `n|# count'?
> I've simplified that before adopting it, `mandoc -Tlint ./top.1' is
> happy with it.

we used to use \*(Ba instead of "|". i think it made mark up simpler in
some cases. and i think ingo wants us to reduce it (and he'll probably
chip in) so i guess that particular change is fine.


Reply via email to