From: Michael J Gruber Date: Mon, 06 Sep 2010 06:18:39 GMT Subject: [PATCHv2] install-webdoc: quell diff output on stdout Message-ID: <52f347f82734e5d75d0b93a67edca9941efaa5a9.1283612149.git.git@drmicha.warpmail.net> In-Reply-To: <7vhbi842gx.fsf@alter.siamese.dyndns.org> When installing html-doc, install-webdoc.sh compares the installed html with the version to be installed using diff. Currently, the diff output fills up stdout. install-webdoc.sh actually uses $DIFF, and is the only user. Redefine DIFF from "diff" to "diff -q" to quell the output which is a more useful general default and in line with the default "QUIET" make rules. This can be easily overriden by prefixing make with "DIFF=diff" or putting this in config.mak. Signed-off-by: Michael J Gruber --- Makefile | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/Makefile b/Makefile index 38a8b65..b5d9c51 100644 --- a/Makefile +++ b/Makefile @@ -301,7 +301,7 @@ export prefix bindir sharedir sysconfdir gitwebdir CC = gcc AR = ar RM = rm -f -DIFF = diff +DIFF ?= diff -q TAR = tar FIND = find INSTALL = install -- 1.7.2.2.540.g9d56f.dirty