El 11/07/17 a las 08:24, Paul Eggert escribió: > Thanks for the bug report. I installed the attached patch. It uses a > hand-maintained date, which is more likely to give the user the (accurate) > impression that the grep man page is not the focus of our documentation > efforts.
Thanks! Santiago
