[help-texinfo] Unicode line drawing chars in pdf output

[Thien-Thi Nguyen]

What's the recommended way of getting Unicode line drawing characters,
such as:

 @example
 ┌─────┬───────┐
 │ KEY │ VALUE │
 └─────┴───────┘
 @end example

to appear in the PDF output?  With 4.13.93, they appear fine in Info,
HTML, and XML output.  However for PDF, the command:

 $(TEXI2PDF) -o $@ $< --clean --batch

finishes successfully but omits those characters anyway, displaying the
messages, instead:

 l.201: Unicode char @u8:┌ not defined for Texinfo
 l.201: Unicode char @u8:─ not defined for Texinfo
 ...

Adding ‘--dvipdf’ to the above command has the same result.

-- 
Thien-Thi Nguyen ..................................... GPG key: 4C807502
.                  NB: ttn at glug dot org is not me                   .
.                 (and has not been since 2007 or so)                  .
.                        ACCEPT NO SUBSTITUTES                         .
........... please send technical questions to mailing lists ...........

pgpEfgKPAwUSK.pgp
Description: PGP signature