1 --- texinfo/doc/texinfo.tex 2006-06-02 03:19:04.000000000 +0200
2 +++ texinfo.tex 2006-06-02 03:19:10.000000000 +0200
9 \global\def\code{\begingroup
10 \catcode`\-=\active \catcode`\_=\active
12 + \let'\singlequotechar
16 @@ -5059,11 +5062,10 @@
18 \maketwodispenvs {lisp}{example}{%
22 \let\kbdfont = \kbdexamplefont % Allow @kbd to do something special.
26 % @display/@smalldisplay: same as @lisp except keep current font.
28 \makedispenv {display}{%
29 @@ -5191,6 +5193,12 @@
30 \newdimen\tabw \setbox0=\hbox{\tt\space} \tabw=8\wd0 % tab amount
32 \def\starttabbox{\setbox0=\hbox\bgroup}
35 +% Don't replace quotes with curly quotes. This makes cut & pasting
36 +% from a PDF file problematic.
38 +\def\singlequotechar{\char'15\relax}
42 @@ -5203,6 +5211,11 @@
43 \wd0=\dimen0 \box0 \starttabbox
49 + \def'{\singlequotechar}
55 \def\par{\leavevmode\egroup\box0\endgraf}%
59 % Respect line breaks,
60 % print special symbols as themselves, and
61 % make each space count