[PATCH] doc: doc-diff: specify date
- From
Felipe Contreras <felipe.contreras@gmail.com>
- Date
- May 3, 2023, 23:23 UTC
- 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 <felipe.contreras@gmail.com> --- 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