diff options
| author | Jim Meyering <jim@meyering.net> | 1994-10-01 04:14:50 +0000 |
|---|---|---|
| committer | Jim Meyering <jim@meyering.net> | 1994-10-01 04:14:50 +0000 |
| commit | ea89a760d88168546daf07dc7b08d6966d73ad83 (patch) | |
| tree | c378d1f813d2c2f7408d7f30f5f711bb547bfb71 /doc/sh-utils.texi | |
| parent | ec90359f3456b5256c45f6b17fc1a0e6964ed2f6 (diff) | |
| download | coreutils-ea89a760d88168546daf07dc7b08d6966d73ad83.tar.xz | |
.
Diffstat (limited to 'doc/sh-utils.texi')
| -rw-r--r-- | doc/sh-utils.texi | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/sh-utils.texi b/doc/sh-utils.texi index 1aa66b8b9..b987f2130 100644 --- a/doc/sh-utils.texi +++ b/doc/sh-utils.texi @@ -161,7 +161,13 @@ 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. -Francois Pinard did the initial conversion to Texinfo format. Karl +@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. Richard Stallman contributed his usual invaluable insights to the overall process. |