See also the texinfo manual:
http://www.gnu.org/software/texinfo/manual/texinfo/texinfo.html#Inserting-Quote-Characters
So, it's documented that also inside @code smart quotes are used...
My feeling, however, is that inside a @code or @verbatim environment, no smart
quote replacements should be made by default. I suppose this is a general
problem in texi2pdf, so you might be best off by sending this to the texinfo
bug list: address@hidden
Cheers,
Reinhold
- --
- ------------------------------------------------------------------
Reinhold Kainhofer, Vienna University of Technology, Austria
email: address@hidden, http://reinhold.kainhofer.com/
* Financial and Actuarial Mathematics, TU Wien, http://www.fam.tuwien.ac.at/
* K Desktop Environment, http://www.kde.org, KOrganizer maintainer
* Chorvereinigung "Jung-Wien", http://www.jung-wien.at/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFI9fsPTqjEwhXvPN0RAk/GAJ94xXScl8mGV/PnmmGSjjBk46L45ACfcaDX
T5HNwd7UEgPN4lj4DqNO6UU=
=3qqN
-----END PGP SIGNATURE-----