From a41f5ad96e6f043054eadfd48a59f6ff9a764885 Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Sun, 9 Oct 1994 05:06:10 +0000 Subject: [PATCH] . --- doc/sh-utils.texi | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/doc/sh-utils.texi b/doc/sh-utils.texi index d004e3e17..4c5ff3d69 100644 --- 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.