From 81ca3a8b6c2d2f48c94c75d902578715af15d99c Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Mon, 12 Jun 1995 05:08:16 +0000 Subject: [PATCH] Remove now-obsolete comment and leading space. --- doc/sh-utils.texi | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/doc/sh-utils.texi b/doc/sh-utils.texi index 8e9de6fcb0..434c51daad 100644 --- a/doc/sh-utils.texi +++ b/doc/sh-utils.texi @@ -183,11 +183,7 @@ sometimes difficult to infer. @xref{Bugs, , , gcc, GNU CC}. @cindex Stallman, Richard This manual is based on the Unix man pages in the distribution, which were originally written by David MacKenzie and updated by Jim Meyering. -@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"}...'. This is a bug in makeinfo. -@c So please don't remove that leading space for now. - @value{Francois} Pinard did the initial conversion to Texinfo format. +@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. -- 2.47.3