diff options
| author | Felipe Contreras <felipe.contreras@gmail.com> | 2023-05-03 17:23:49 -0600 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-05-04 18:16:29 -0700 |
| commit | 1c301bcaa56fee40d5c52ddc3a6c3f03b350073c (patch) | |
| tree | bafb56c37d139a779ee2d75db11decd3c81a1fa9 | |
| parent | 28fde3a1f4322993d731e2b2b6543ba0e24a5788 (diff) | |
| download | git-1c301bcaa56fee40d5c52ddc3a6c3f03b350073c.tar.gz | |
doc: doc-diff: specify date
Earlier we changed the manual page formatting machinery to use the
dates from the commit the documentation source was taken from,
instead of the date the manual page was produced. When "doc-diff"
compares two commits from different dates, the different dates from
the two commits would result in unnecessary differences in the
output because of the change.
Compensate by setting a fixed date when "doc-diff" formats the pages
to be compared to work around this issue.
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rwxr-xr-x | Documentation/doc-diff | 1 |
1 files changed, 1 insertions, 0 deletions
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 && |