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 <[email protected]>: > 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 >
