From ea89a760d88168546daf07dc7b08d6966d73ad83 Mon Sep 17 00:00:00 2001
From: Jim Meyering <jim@meyering.net>
Date: Sat, 1 Oct 1994 04:14:50 +0000
Subject: [PATCH] .

---
 doc/sh-utils.texi | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/doc/sh-utils.texi b/doc/sh-utils.texi
index 1aa66b8b9c..b987f21309 100644
--- 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.
-- 
2.47.3