install-webdoc: filter timestamp-only changes correctly

diff --git a/Documentation/pretty-formats.txt b/Documentation/pretty-formats.txt
index 8c68ce94f990b0c7f3bc909cc3dc0c4e2a37cf3b..561cc9f7d7ef1a2502d608e59e2eae345bffd685 100644 (file)
--- a/Documentation/pretty-formats.txt
+++ b/Documentation/pretty-formats.txt
@@ -159,6 +159,10 @@ If you add a `-` (minus sign) after '%' of a placeholder, line-feeds that
 immediately precede the expansion are deleted if and only if the
 placeholder expands to an empty string.
 
+If you add a ` ` (space) after '%' of a placeholder, a space
+is inserted immediately before the expansion if and only if the
+placeholder expands to a non-empty string.
+
 * 'tformat:'
 +
 The 'tformat:' format works exactly like 'format:', except that it