2004-08-18 Stepan Kasal * doc/texinfo.tex (\scantxt): " is another active char to be sanitized. --- texinfo.tex.a0 2004-08-18 14:04:22.000000000 +0200 +++ texinfo.tex 2004-08-18 14:22:58.000000000 +0200 @@ -5521,6 +5521,7 @@ \catcode`\>=\other \catcode`\+=\other address@hidden + \catcode`\"=\other } \def\scanargctxt{%