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