diff options
author | Jim Meyering <jim@meyering.net> | 1994-10-07 23:46:47 +0000 |
---|---|---|
committer | Jim Meyering <jim@meyering.net> | 1994-10-07 23:46:47 +0000 |
commit | 0eb406c7e6c83e9c925f0e42b0692dba95aeff79 (patch) | |
tree | 625e5fd9c8257cb42cfd259de319ef212cee9c72 /doc/sh-utils.texi | |
parent | 94d327a68a96b60881da4ca8b97c964d9c88d228 (diff) | |
download | coreutils-0eb406c7e6c83e9c925f0e42b0692dba95aeff79.tar.xz |
.
Diffstat (limited to 'doc/sh-utils.texi')
-rw-r--r-- | doc/sh-utils.texi | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/doc/sh-utils.texi b/doc/sh-utils.texi index b987f2130..d004e3e17 100644 --- a/doc/sh-utils.texi +++ b/doc/sh-utils.texi @@ -19,6 +19,13 @@ @syncodeindex vr cp @ifinfo +@set Francois Franc,ois +@end ifinfo +@tex +@set Francois Fran\noexpand\ptexc cois +@end tex + +@ifinfo @format START-INFO-DIR-ENTRY * Shell utilities: (sh-utils). GNU shell utilities. @@ -84,7 +91,7 @@ by the Foundation. @titlepage @title GNU sh-utils, version @value{VERSION} @subtitle A set of shell utilities -@subtitle for version @value{VERSION}, @value{RELEASE-DATE} +@subtitle for version @value{VERSION}, @value{RELEASEDATE} @author David MacKenzie et al. @page @@ -161,14 +168,8 @@ 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. -@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. +@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. |