From: Thomas Ackermann Date: Thu, 01 Oct 2015 18:06:16 GMT Subject: [PATCH] Documentation: squelch diff output in install-webdoc.sh Message-ID: <711797143.1885575.1443722776280.JavaMail.ngmail@webmail09.arcor-online.net> Diff is used in install-webdoc.sh to identify changed files which need to be installed, but the output of diff is not needed during the installation process. So squelch diff output by redirecting to /dev/null. Signed-off-by: Thomas Ackermann --- Documentation/install-webdoc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Documentation/install-webdoc.sh b/Documentation/install-webdoc.sh index ed8b4ff..b3b8d19 100755 --- a/Documentation/install-webdoc.sh +++ b/Documentation/install-webdoc.sh @@ -12,7 +12,7 @@ do then : did not match elif test -f "$T/$h" && - $DIFF -u -I'^Last updated ' "$T/$h" "$h" + $DIFF -u -I'^Last updated ' "$T/$h" "$h" >/dev/null then :; # up to date else -- 2.5.0.windows.1