--- texinfo.tex.orig Fri Jan 10 20:58:28 2003 +++ texinfo.tex Fri Jan 10 21:18:32 2003 @@ -485,6 +485,8 @@ \let\tieaccent = \t \let\ubaraccent = \b \let\udotaccent = \d +% Define an alias for use in the aux file: +\let\acute = \' % Other special characters: @questiondown @exclamdown % Plain TeX defines: @AA @AE @O @OE @L (plus lowercase versions) @ss. @@ -2881,7 +2883,7 @@ \def\,##1{\realbackslash ,{##1}}% \def\"{\realbackslash "}% \def\`{\realbackslash `}% - \def\'{\realbackslash '}% + \def\'{\realbackslash acute }% \def\^{\realbackslash ^}% \def\~{\realbackslash ~}% \def\={\realbackslash =}%