diffutils: Remove redundant info page
authorJohn Marino <draco@marino.st>
Fri, 3 Apr 2015 10:09:16 +0000 (12:09 +0200)
committerJohn Marino <draco@marino.st>
Fri, 3 Apr 2015 11:56:43 +0000 (13:56 +0200)
commitd835a69c9300de5451d03c4e95cc9f467954045d
treeeca79b249862f206bddb4ea6b0157dffc715c236
parent5e07a4912e05f5c51b5732644bb9fca3f6ca086d
diffutils: Remove redundant info page

The three diff binaries all have their own man pages, so the
diffutils.info file is redundant.  For now a copy of it remains in
contrib/diffutils/doc, but it is being removed from the base system.
Makefile_upgrade.inc
gnu/usr.bin/diff/Makefile
gnu/usr.bin/diff/doc/Makefile [deleted file]