Very helpful advice and explanation. Thank you.
Doug
Bertrand --
On Sun, Mar 05, 2017, Bertrand Garrigues wrote:
> Hi Peter,
>
> On Mon, Feb 27 2017 at 06:17:55 PM, Peter Schaffter
> wrote:
> > On Mon, Feb 27, 2017, Bertrand Garrigues wrote:
> >> It seems that with your latest changes there is a problem with
> >> typesetting.pdf, I get the follow
Hi Peter,
On Mon, Feb 27 2017 at 06:17:55 PM, Peter Schaffter wrote:
> On Mon, Feb 27, 2017, Bertrand Garrigues wrote:
>> It seems that with your latest changes there is a problem with
>> typesetting.pdf, I get the following warning (that wasn't there
>> before):
>>
>> typesetting.mom:130: war
Hi,
Ralph Corderoy wrote on Sun, Mar 05, 2017 at 08:01:09PM +:
> Doug McIlroy wrote:
>> It appears that a tilde (unicode 07E) input to groff -Tpdf comes out
>> as a diacritical (unicode 303). This happens even when the tilde is
>> entered as \N'126'. How can I get 07E?
> `asciitilde', as Po
Hi Doug,
> It appears that a tilde (unicode 07E) input to groff -Tpdf comes out
> as a diacritical (unicode 303). This happens even when the tilde is
> entered as \N'126'. How can I get 07E?
`asciitilde', as PostScript calls it, is `\(ti'; see groff_char(7).
--
Cheers, Ralph.
https://plus.goo
It appears that a tilde (unicode 07E) input to groff -Tpdf comes
out as a diacritical (unicode 303). This happens even when the tilde
is entered as \N'126'.
How can I get 07E?
Doug
