|
From: | Jaroslav Škarvada |
Subject: | [bug #37492] man: wrong indentation of -R option description |
Date: | Wed, 03 Oct 2012 08:13:19 +0000 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:15.0) Gecko/20120828 Firefox/15.0 SeaMonkey/2.12 |
URL: <http://savannah.gnu.org/bugs/?37492> Summary: man: wrong indentation of -R option description Project: grep Submitted by: yarda Submitted on: Wed 03 Oct 2012 08:13:18 AM GMT Category: None Severity: 3 - Normal Item Group: None Status: None Privacy: Public Assigned to: None Open/Closed: Open Discussion Lock: Any _______________________________________________________ Details: There is a missing .TP in grep.1 between the '-r' and '-R' options. Original bugreport: http://bugzilla.redhat.com/show_bug.cgi?id=861937 _______________________________________________________ File Attachments: ------------------------------------------------------- Date: Wed 03 Oct 2012 08:13:18 AM GMT Name: grep-man-fix-R-indentation.patch Size: 384B By: yarda Proposed fix. <http://savannah.gnu.org/bugs/download.php?file_id=26682> _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?37492> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |