[patch] Replace Unicode character in recode.texi

recode-3.6-utf-8-texinfo-fix.patch (text/plain), 1.01 KB, created by Anon Emuss on 2020-06-20 21:27:03 UTC

Recode most non-ASCII source files to UTF-8

This is a cherry-pick of commit a44f0ff9d8596e88eb81ff6c715655c5bda74ca1
from the 3.7 branch.  It was modified to only apply the single change to
doc/recode.texi.

See Gentoo bug #706326 (https://bugs.gentoo.org/show_bug.cgi?id=706326)
and the tracker bug #697606
(https://bugs.gentoo.org/show_bug.cgi?id=697606).

diff --git a/doc/recode.texi b/doc/recode.texi
index 0000001..0000002 100644
--- a/doc/recode.texi
+++ b/doc/recode.texi
@@ -3712,8 +3712,9 @@ character references between their mnemonic form and their numeric form,
 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}.
+Here is a list of those HTML variants which @code{recode}
+supports.  Some notes have been provided by Fran@,{c}ois Yergeau
+@email{yergeau@@alis.com}.
 
 @table @code
 @item XML-standalone