[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Changes for quoting in tips.texi

From: Stefan Kangas
Subject: Re: Changes for quoting in tips.texi
Date: Sat, 30 Jul 2022 02:47:57 -0700

Eli Zaretskii <eliz@gnu.org> writes:

> This changeset:
>   4ea1f6c7f8 ; * doc/lispref/tips.texi (Documentation Tips): Fix typos.  
> (Bug#56802)
> changes how quote characters are typeset in the manual.  Was the
> effect of these changes verified in all the 3 important formats: Info,
> HTML, and PDF?  AFAIR, we switched to @t{..} because @samp{`} and the
> likes produces bad output at least in the PDF format.  It took us a
> lot of experimentation to get to the markup that worked, and I'd hate
> losing all that now.
> So if you didn't try producing the manual in PDF format, please try it
> now.  This is even more important for the release branch, since we are
> going to release it soon.

I have tested this in Info, HTML, and PDF, and AFAICT everything is as
it should be.  Please see the attached screenshot of the PDF output.

Attachment: screenshot-pdf.png
Description: PNG image

reply via email to

[Prev in Thread] Current Thread [Next in Thread]