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

1 messages from 2015-10-01 to 2015-10-01. Participants: Thomas Ackermann.
Thread: https://gitlist.dev/t/40469

## Thomas Ackermann, 2015-10-01 18:06

Subject: [PATCH] Documentation: squelch diff output in install-webdoc.sh
Message-ID: <711797143.1885575.1443722776280.JavaMail.ngmail@webmail09.arcor-online.net>
URL: https://gitlist.dev/e/711797143.1885575.1443722776280.JavaMail.ngmail%40webmail09.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

```