git: grep: remove "redundant" info page

John Marino marino at crater.dragonflybsd.org
Fri Apr 3 02:25:31 PDT 2015


commit 5e07a4912e05f5c51b5732644bb9fca3f6ca086d
Author: John Marino <draco at marino.st>
Date:   Fri Apr 3 10:26:46 2015 +0200

    grep: remove "redundant" info page
    
    Grep already has an adequate man page, so we can remove info page without
    losing much.

Summary of changes:
 Makefile_upgrade.inc          | 1 +
 gnu/usr.bin/grep/Makefile     | 2 +-
 gnu/usr.bin/grep/doc/Makefile | 9 ---------
 3 files changed, 2 insertions(+), 10 deletions(-)
 delete mode 100644 gnu/usr.bin/grep/doc/Makefile

http://gitweb.dragonflybsd.org/dragonfly.git/commitdiff/5e07a4912e05f5c51b5732644bb9fca3f6ca086d


-- 
DragonFly BSD source repository



More information about the Commits mailing list