On 01/07/2025 04:05, Collin Funk wrote:
Hi Pádraig,

One small thing I noticed while looking over this patch.

Pádraig Brady <p...@draigbrady.com> writes:

+Three input formats are supported.  Either the "untagged" output format,
+the "tagged" output format, or the BSD reversed mode format
+which is similar to the "untagged" output format

This makes Texinfo emit the following:

     Either the "untagged" output format, the "tagged"

But using, for example, ``untagged'' will emit:

     Either the “untagged” output format, the “tagged”

So, ``...'' will use U+201C (LEFT DOUBLE QUOTATION MARK) and U+201D
(RIGHT DOUBLE QUOTATION MARK). I checked both HTML and PDF outputs.

The Unicode characters look much better, in my opinion, especially in
the PDF.

Since it seems ``...'' is more common than "..." in the manual anyways,
this patch felt obvious enough to commit right away.

Cool. I see no more instances matched by the following at least:
  grep -E '^[^@#].{5,} "[[:alpha:]]{1,}"' doc/coreutils.texi
That's a bit too fuzzy match though to put in a syntax check I think.

I also pushed a similar change that fixes instances of:
  grep -E '@samp\{"[^"}]' doc/coreutils.texi
That's less likely to be an issue going forward,
so I didn't add a syntax check for that either.

thanks!
Padraig

Reply via email to