.

diff --git a/doc/sh-utils.texi b/doc/sh-utils.texi
index 1aa66b8b9c14491aca7804f8896a48ffa8adc4f9..b987f2130993e554bff628a28472d860d521e6b5 100644 (file)
--- a/doc/sh-utils.texi
+++ b/doc/sh-utils.texi
@@ -161,7 +161,13 @@ GNU CC}.
 
 This manual is based on the Unix man pages in the distribution, which
 were originally written by David MacKenzie and updated by Jim Meyering.
-Francois Pinard did the initial conversion to Texinfo format.  Karl
+@ifinfo
+Franc,ois
+@end ifinfo
+@tex
+Fran\c cois
+@end tex
+Pinard did the initial conversion to Texinfo format.  Karl
 Berry did the indexing, some reorganization, and editing of the results.
 Richard Stallman contributed his usual invaluable insights to the
 overall process.