doc: remove a little direntry redundancy

* doc/coreutils.texi (Basics direntry): Remove 3rd "Common options."

diff --git a/doc/coreutils.texi b/doc/coreutils.texi
index a7e69d1..682536a 100644 (file)
--- a/doc/coreutils.texi
+++ b/doc/coreutils.texi
@@ -23,7 +23,7 @@
 @dircategory Basics
 @direntry
 * Coreutils: (coreutils).       Core GNU (file, text, shell) utilities.
-* Common options: (coreutils)Common options.      Common options.
+* Common options: (coreutils)Common options.
 * File permissions: (coreutils)File permissions.  Access modes.
 * Date input formats: (coreutils)Date input formats.
 @end direntry