diff options
| -rw-r--r-- | doc/sh-utils.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/sh-utils.texi b/doc/sh-utils.texi index 377893117..60585a74e 100644 --- a/doc/sh-utils.texi +++ b/doc/sh-utils.texi @@ -120,8 +120,7 @@ by the Foundation. @cindex shell utilities @cindex utilities for shell programming -This manual documents version @value{VERSION} of the GNU shell -utilities. +This manual documents version @value{VERSION} of the GNU shell utilities. @menu * Introduction:: Caveats, overview, and authors. |