If I have a texinfo file that has |@example lisp (defun foo (x) (+ x x)) @end example |
and do |texinfo --pdf|, (with texinfo 7.2), the pdf output looks like |lisp (defun foo (x) (+ x x)) |That is, "lisp" is produced. Works fine when converting to html; there's no extraneous "lisp" in the output.
​