Remove now-obsolete comment and leading space.

diff --git a/doc/textutils.texi b/doc/textutils.texi
index 1a05bdb99744afffa7117131a0bd661ba17b4135..77a5c36c0b091a84beb92e7f697a7622912b546f 100644 (file)
--- a/doc/textutils.texi
+++ b/doc/textutils.texi
@@ -159,11 +159,7 @@ sometimes difficult to infer. @xref{Bugs, , , gcc, 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.
 The original @code{fmt} man page was written by Ross Paterson.
-@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.