---- texinfo/doc/texinfo.tex 2006-06-02 03:19:04.000000000 +0200
-+++ texinfo.tex 2006-06-02 03:19:10.000000000 +0200
-@@ -1878,9 +1878,12 @@
- {
- \catcode`\-=\active
- \catcode`\_=\active
-+ \catcode`\'=\active
- %
- \global\def\code{\begingroup
- \catcode`\-=\active \catcode`\_=\active
-+ \catcode`\'=\active
-+ \let'\singlequotechar
- \ifallowcodebreaks
- \let-\codedash
- \let_\codeunder
-@@ -5059,11 +5062,10 @@
- %
- \maketwodispenvs {lisp}{example}{%
- \nonfillstart
-- \tt
-+ \tt\quoteexpand
- \let\kbdfont = \kbdexamplefont % Allow @kbd to do something special.
- \gobble % eat return
- }
--
- % @display/@smalldisplay: same as @lisp except keep current font.
- %
- \makedispenv {display}{%
-@@ -5191,6 +5193,12 @@
- \newdimen\tabw \setbox0=\hbox{\tt\space} \tabw=8\wd0 % tab amount
- %
- \def\starttabbox{\setbox0=\hbox\bgroup}
-+%
-+%
-+% Don't replace quotes with curly quotes. This makes cut & pasting
-+% from a PDF file problematic.
-+%
-+\def\singlequotechar{\char'15\relax}
- \begingroup
- \catcode`\^^I=\active
- \gdef\tabexpand{%
-@@ -5203,6 +5211,11 @@
- \wd0=\dimen0 \box0 \starttabbox
- }%
- }
-+ \catcode`\'=\active
-+ \gdef\quoteexpand{%
-+ \catcode`\'=\active
-+ \def'{\singlequotechar}
-+ }%
- \endgroup
- \def\setupverbatim{%
- \let\nonarrowing = t%
-@@ -5212,6 +5225,7 @@
- \def\par{\leavevmode\egroup\box0\endgraf}%
- \catcode`\`=\active
- \tabexpand
-+ \quoteexpand
- % Respect line breaks,
- % print special symbols as themselves, and
- % make each space count