--- a/recode/doc/recode.texi +++ b/recode/doc/recode.texi @@ -3713,7 +3713,7 @@ depending on aimed HTML standard level. It also can, of course, convert between HTML and various other charsets. Here is a list of those HTML variants which @code{recode} supports. -Some notes have been provided by François Yergeau @email{yergeau@@alis.com}. +Some notes have been provided by Fran@,{c}ois Yergeau @email{yergeau@@alis.com}. @table @code @item XML-standalone