[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.
screenshot-pdf.png
Description: PNG image