[PATCH] Documentation: squelch diff output in install-webdoc.sh

From: Thomas Ackermann <th.acker@arcor.de>
Date: Oct 1, 2015, 18:06 UTC
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 <th.acker@arcor.de>
---
 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