Re: How to avoid a "basic" single quote being replaced by a "curvy" one?

[Timothée Flutre]

Thanks!

I added these 2 lines to the texi file. Running "make" works fine:
Making all in doc
make[1]: Entering directory `/home/me/src/test/doc'
  MAKEINFO manual.info
make[1]: Leaving directory `/home/me/src/test/doc'

But running "make pdf" gives the following error:
Making pdf in doc
make[1]: Entering directory `/home/me/src/test/doc'
  TEXI2PDF manual.pdf
/home/me/bin/texi2dvi: pdfetex exited with bad status, quitting.
make[1]: *** [manual.pdf] Error 1
make[1]: Leaving directory `/home/me/src/test/doc'
make: *** [pdf-recursive] Error 1

I have the same error when I put the 2 lines inside the texinfo header, or outside, or just above the @verbatim block in question.

Should I put it elsewhere? (Section 14 in the manual doesn't give details.)

My version of texi2dvi is:
$ texi2dvi --version
texi2dvi (GNU Texinfo 4.13+dev) 1.174

2014-06-18 1:13 GMT+02:00 Karl Berry <address@hidden>:

Hi - I think you want

@codequoteundirected on
@codequotebacktick on

More info at
http://www.gnu.org/software/texinfo/manual/texinfo/html_node/Inserting-Quote-Characters.html

Best,
Karl