.

diff --git a/doc/sh-utils.texi b/doc/sh-utils.texi
index d004e3e..4c5ff3d 100644 (file)
--- a/doc/sh-utils.texi
+++ b/doc/sh-utils.texi
@@ -168,7 +168,12 @@ 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.
-@value{Francois} Pinard did the initial conversion to Texinfo format.
+@c This is odd -- looks like a bug in makeinfo.
+@c If the following space before `@value' is removed, makeinfo
+@c fails to substitute the value for Francois.  Instead, it reports
+@c `F{No Value For "rancois"}...'.
+@c So please don't remove that leading space for now.
+ @value{Francois} 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.