[PATCH] doc: remove a little direntry redundancy

[Jim Meyering]

FYI, from Karl:

>From 4c13a6d743b1c77f4bd87d3de890d9128dc206a2 Mon Sep 17 00:00:00 2001
From: Karl Berry <address@hidden>
Date: Sat, 14 Apr 2012 10:06:32 +0200
Subject: [PATCH] doc: remove a little direntry redundancy

* doc/coreutils.texi (Basics direntry): Remove 3rd "Common options."
---
 doc/coreutils.texi |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/coreutils.texi b/doc/coreutils.texi
index a7e69d1..682536a 100644
--- 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
--
1.7.10.130.g36e6c