[PATCH] doc: doc-diff: specify date
From: Felipe Contreras <hidden>
Date: 2023-05-03 23:23:59
Subsystem:
documentation, the rest · Maintainers:
Jonathan Corbet, Linus Torvalds
Otherwise comparing the output of commits with different dates generates unnecessary diffs. Signed-off-by: Felipe Contreras <redacted> --- 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