From 4c13a6d743b1c77f4bd87d3de890d9128dc206a2 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sat, 14 Apr 2012 10:06:32 +0200 Subject: 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 a7e69d15c..682536a18 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 -- cgit v1.2.3-54-g00ecf