Re: '^\}$' is changed to a space character
From: Bjarni Ingi Gislason <hidden>
Date: 2025-10-02 21:57:53
From: Bjarni Ingi Gislason <hidden>
Date: 2025-10-02 21:57:53
On Wed, Oct 01, 2025 at 08:49:38AM +0200, Alejandro Colomar wrote:
Hi Bjarni. On Tue, Sep 30, 2025 at 10:36:07PM +0000, Bjarni Ingi Gislason wrote:quoted
A patch is superfluous sed -e '/^\\\}$/ {s/^/./}'This would also work; thanks! After all, what I need is something I can run to get the page changed. On the other hand, I think I prefer Branden's approach, which entirely eliminates the low-level roff(7) there. What do you think?
I did not get a copy of Branden's e-mail. I suggest to get your own knowledge of the troff language, http://troff.org/54.pdf so that you are not addicted to the opinions of others.