From: Felipe Contreras Date: Wed, 03 May 2023 23:23:49 GMT Subject: [PATCH] doc: doc-diff: specify date Message-ID: <20230503232349.59997-1-felipe.contreras@gmail.com> Otherwise comparing the output of commits with different dates generates unnecessary diffs. Signed-off-by: Felipe Contreras --- Documentation/doc-diff | 1 + 1 file changed, 1 insertion(+) diff --git a/Documentation/doc-diff b/Documentation/doc-diff index 1694300e50..554a78a12d 100755 --- a/Documentation/doc-diff +++ b/Documentation/doc-diff @@ -153,6 +153,7 @@ render_tree () { make -j$parallel -C "$tmp/worktree" \ $makemanflags \ GIT_VERSION=omitted \ + GIT_DATE=1970-01-01 \ SOURCE_DATE_EPOCH=0 \ DESTDIR="$tmp/installed/$dname+" \ install-man && -- 2.40.0+fc1